Board Thread:New Features/@comment-26923519-20170402174605/@comment-7114405-20170407200118

Your wanted changes to the Source editor miss the point of the Source editor, which is to adjust most of what you've suggested via text rather than having a WYSIWYG editor do that bit for you (and sloppy job of it, might I add); still, I suspect some of what you want can be replicated via a wiki's css mediawiki page and implementing an additional icon at the top of the editing window which posts that code in the article for you.

It's now possible to undo and redo edits in source. The CTRL+Z and CTRL+Y keyboard shortcuts are your friends.