gregor herrmann authored Jul 24, 2023 and derf committed Jul 24, 2023

Simplify instrucations for manually installing the nightly Debian packages.

`apt` can be used to install `*.deb` files (if give a path, hence the `./`, and takes care of dependencies.