Update html_sidebars notes
DDD overhaul re: Github config, now that we need to configure banner
Switch up boolean options. I hate you ConfigParser.