Remove eval2 from the nav bar

and move its list of script deps out of the general-purpose formatting
code.