Sorted out the stuff with OLDNUMEXTRASYMBOLS_
Had also repercussions for %X in #write.
Now it should be sane.


Now added optim.tex and updated manual.tex.in and online.tex
Also added the new prepro variables.