Your life is even more boring than mine to look that up :-) and that’s saying something :-)
Saw it on twitter an hour before this FR thread. I didn’t go look for it.