Tiny admin plugin which can be easily installed for simple pages - makes dom_IDs editable.