NerdCommenter acts better. Misc other stuff.