How to remove pike7.8-manual from Debian Unstable (Sid)