Point people to the new official repository