Fixing documentation filenames in help menu, and making status