Per [IRC](https://botbot.me/freenode/gittip/msg/6490302/) discussion, `user.ANON` used to be able to evaluate to `None` until 9f39a55d (comment and tests in 6ceceac1), which was part of #1320.