Editor: Make it case-insensitive
editor.js: remove the normalize function