https://gamblisfx.com/y-ppa-manager-a-useful-ppa-tool-for-ubuntu-users/