Merged
requested to merge 2067-403-forbidden-when-accessing-arm-link-for-installing-recent-boost-version into master
Closes #2067 (closed).
02482fcf is the actual fix.
54edd1f7 removes a dot which was added sometime around 1.9.10 to solve the overlapping of numbering and text in PDF format. Nobody uses PDF and the dot looks out of place in HTML.