LOL. "Should be the case."
I learned that many/most of these IRCDs have their 005 hard coded like an MOTD. Freenode disabled MONITOR about a year ago and still leaves it in their 005. It's static decoration, and not actually pulling from a config file.
But yeah, I came to the same conclusion as both you did. Check for case alternation in the 005 flags.