Fix Ace-registered file extension for pre-CSP HTMLs

TBR