manual.pl: handle signatures