63237310 ignore pbox

This PR arranges to ignore some miscellaneous LaTeX commands when outputting HTML. Eventually we should probably add hooks into the relevant style file so that authors can do this themselves.