Fix centeringtoggle's off toggle
Re-add kana's smartinput plugin
Switch from Gundo to UndoTree
Add pseudo-RNG alias