Add the new offline manual to the GUI

Part 2 of Patch #368: Actually add the manual to the menu.