WordPress plugin to always edit a page or post in HTML mode