By the way if anyone is up for it, we can make a dedicated Discord chat room
for Navi linux users, so we don't bloat this bugtracker, since a lot of the
comments are just random questions etc. Let me know what you think