remove hideTOC cookie
convert busy indicator on contributors page with font-awesome