Moved to /eqpro/manual/.