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.