it *looks*, from cursory inspection, that the repo is now located here: https://github.com/DavidBruant/better-defaults.git