Well GitHub sent me a sticker… with the IDE that they've literally just depreciated and are phasing out by the end of the year