Manpages of checkpolicy in Debian buster