Minor editing of our main documentation's menu.