To be fair, the post does start with "This is a guest post by Timothy Gowers", feels pretty clear already. But of course, assumes reading beyond the title.

Isn’t it the very first thing just after the title?