Handle HTML snippets better, and fix up messages in FontWarnings and v1.0-warning extensions.  Fix French menu items and a few others (thanks Fred).  Fix scale-all-math dialog.