For those who missed it, Boris Johnson just announced he will step down once the Tories have selected a new leader.