ursakhiin, 2 months ago

Some things we would want to install aren’t in the official repos. Downloading the deb file is a solution to that for newer users.