Remove generated HTML version of old manual - plain text is fine