Happy birthday, Leon!

(Posted a day early since it’s his birthday over at his timezone.)