of.tex: \section -> \secid