This also changes qute://help to show the documentation generation error if a help page wasn't found. This way, people who pull from git but not re-generate the documentation hopefully get the idea.