Sir Robin retires at the end of the year, to be replaced by Sir Richard Wilson, permanent secretary at the Home Office and a more modern sort of mandarin.
Which marks a tough moment for Sir Richard Wilson, who in January took over as head of the civil service and cabinet secretary from Sir Robin Butler, his punctilious, bewildered predecessor.