Manpages of critcl in Debian stretch