Manpages of src:linpsk in Debian stretch