The definition of a short header title as described in the vignette doesn't seem to work any more:
\renewcommand{\thetitle}{Short header title}
Is there a new way of defining it?

Best,

Bernd



	[[alternative HTML version deleted]]

