Manpages of src:cookietool in Debian testing