remove useless comments
Fix a null error in code.js
Order the results in autocompletion
Add a stamp on tabs with running tasks
Merge pull request #724 from typesafehub/wip/warry-misc-styling-fixes

Misc styling fixes