for patch v71937

Fix settings not showing, option bar toggle styling, and change bot
factory default to dox.