I don't really like all this HelpManager code, but it works properly now, so that's something at least