minor tweaks to the online docs index