Merge pull request #219 from asgrim/undo-global-pie-banner #89

Job	Run time
build-phar / build-phar (ubuntu-latest, 8.1)	16s
build-docs-package	28s
deploy	9s
	53s

Provide feedback