How to install rivet-user-manual on Debian Unstable (Sid)