adding show-html button and functionality to branding.js, and fine-tuning the sidebar stuff to work when the wiki is in read-only mode.