Fix Ace-registered file extension for pre-CSP HTMLs
Merge pull request #3343 from ussuri/small-fixes-3

Fix Ace-registered file extension for pre-CSP HTMLs