Since we are using the HTML for help on restructured text, maybe it would be a good idea to have it in its own file and include it.