https://www.marcosbox.org/2017/01/brisk-menu-ppa-per-ubuntu-mate.html