Not a ksp plugin

Misc fixes
I could do that, but you'd need to use a monospaced font that has it. There exists at least one (Everson mono).