The repository has now been renamed on github. The old URL will still work for a long time (half a year I think) so no-one need to do anything right now. The next step is creating PRs with the required changes. This is underway. Atgeirr