Editor and CriticMarkup extensions