Well, time to learn how much I can still work with Github down.