How to install 4ti2-doc on Debian Unstable (Sid)