[weka]

I've been using Ubuntu 20.04 since it's release now (a few months?) and my biggest gripe has been bluetooth connectivity and fixing updating issues (gpg keys, no releases, etc.)