Manpages of petri-foo in Debian jessie