Fix a problem with jscolor, made when renaming (see commit 65d6ded)
... plus more items on the top bar
Enable hiding the comments when reading
Fix the 'hide comments' button doesn't change colour
It only changes its colour when a reactive data source is changed