Resolve "403 Forbidden when accessing ARM link for installing recent boost version"
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.