DEV: Remove superfluous `toc` and `TOC` terms in site settings#74

tgxworld wants to merge 1 commit intomaindiscourse/DiscoTOC:mainfrom

rename_theme_settingdiscourse/DiscoTOC:rename_theme_settingCopy head branch name to clipboard