Today is my first day no longer the head of the @ImperialAstro group after 5.75 years — finally time to rest. Best of luck, and commiserations, to new head @AlanHeavens…