After digging a bit more I noticed that we'd discussed removing IS OF in the 2007 thread, but forebore because there wasn't an easy replacement. pg_typeof() was added a year later (b8fab2411), so we could have done this at any point since then.
Pushed.
Documenting or improving IS OF was a TODO, so I've removed that entry.