Generators/HTML: improve anchor links #2560

Job	Run time
Coverage: 8.4 (Linux)	4m 22s
Coverage: 8.4 (Win)	1m 58s
Coverage: 5.4 (Linux)	26m 57s
Coverage: 7.2 with custom ini settings (Linux)	6m 21s
Coverage: 5.5 (Win)	2m 53s
Build Phar on PHP: 8.0 / Build Phar on PHP: 8.0	43s
PHP: 8.5 (Linux)	1m 0s
PHP: 5.6 (Linux)	7m 17s
PHP: 5.5 (Linux)	8m 26s
PHP: 7.1 (Linux)	1m 39s
PHP: 7.2 (Linux)	1m 27s
PHP: 5.5 (Win)	1m 39s
PHP: 8.5 (Win)	1m 0s
PHP: 8.3 with libxml 2.13 (Linux)	57s
PHP: 8.1 (Linux)	1m 27s
PHP: 7.3 (Linux)	1m 7s
PHP: 8.0 with libxml 2.11 (Linux)	1m 0s
PHP: 7.0 (Win)	2m 28s
PHP: 7.1 (Win)	1m 34s
PHP: 5.4 (Linux)	2m 0s
PHP: 5.5 with custom ini settings (Linux)	8m 6s
PHP: 7.4 (Linux)	1m 6s
PHP: 8.4 (Linux)	30s
PHP: 8.3 (Win)	1m 2s
PHP: 8.2 (Win)	1m 11s
PHP: 7.0 with custom ini settings (Linux)	2m 13s
PHP: 8.0 (Win)	56s
PHP: 7.4 (Win)	59s
PHP: 7.0 (Linux)	2m 19s
PHP: 8.4 (Win)	32s
PHP: 8.2 (Linux)	54s
PHP: 7.3 (Win)	57s
PHP: 7.2 (Win)	1m 49s
PHP: 8.1 (Win)	55s
PHP: 5.6 (Win)	7m 4s
coveralls-finish	6s
	1h 46m 54s

Provide feedback