Aaarrrggghh!
I ended up writing the bottom half of the previous article three times, thanks to not having been careful enough when upgrading WordPress. I had lost my fixes that send out the necessary headers to prevent the admin pages from being cached. I guess others don’t get bit by this because they don’t have ExpiresActive enabled on their web server.
Anyway, I’ve saved the changes in a patch file now, for future reference…