fix #1566 Changes to options menu

not too sure about this. Better to have the HTML for this element start off with `class="hidden"` and then do a classList.remove("hidden") here, instead.