Googling "magic words sphinx menu" didn't help me so I ask here. Is there a way to have more menu items at the top of the petsc.org <http://petsc.org/> pages instead of immediately going to More? I think I saw a way before but cannot find the magic words.