Update bad filenames for hot widgets and wysiwyg