Comment 16 for bug 1675452

As far as I remember there wasn't a problem (when viewing the help with Firefox) a week or two ago. The problem may have only appeared with the latest update to Firefox (52.0.1), which appeared in my list of updates two or three days ago (Ubuntu 16.04). The problem occurs for all (HTML) versions of the desktop help (12.04, 14.04, 16.04, 16.10, 17.04).