Docs: various minor fixes #1555

Job	Run time
Build Phar on PHP: 7.4 / Build Phar on PHP: 7.4	27s
Build Phar on PHP: 8.3 / Build Phar on PHP: 8.3	25s
Build Phar on PHP: 8.4 / Build Phar on PHP: 8.4	24s
Build Phar on PHP: 5.6 / Build Phar on PHP: 5.6	32s
Build Phar on PHP: 8.1 / Build Phar on PHP: 8.1	25s
Build Phar on PHP: 7.0 / Build Phar on PHP: 7.0	24s
Build Phar on PHP: 7.3 / Build Phar on PHP: 7.3	25s
Build Phar on PHP: nightly / Build Phar on PHP: nightly	25s
Build Phar on PHP: 5.5 / Build Phar on PHP: 5.5	35s
Build Phar on PHP: 5.4 / Build Phar on PHP: 5.4	36s
Build Phar on PHP: 7.1 / Build Phar on PHP: 7.1	28s
Build Phar on PHP: 8.2 / Build Phar on PHP: 8.2	20s
Build Phar on PHP: 7.2 / Build Phar on PHP: 7.2	22s
	5m 48s

Provide feedback