Better prevention of too long comment submission. Removed some hacks for highlighting. Fixed @name autocompletion.