Hey great dev-box! If you'd like an upgrade to Ubuntu v20.04 (current LTS), I'd be happy to PR some changes along the way .. just let me know. Cheers, S1SYPHOS
