Always open in my editor is a tab with a text version of MySQL's manual (~100k lines in a readable layout), which is extremely helpful.
The version I have is very old (when 5.0 was still in beta), and this valuable text-file does not exist in mysql.com anymore.
Is there a newer version, or some tool that can create it out of the various existing formats?