How to install redet-doc on Debian Unstable (Sid)