Whoops. The problem was that I post under a non-admin author account, which had a different email address associated with it. I didn’t figure it out until I noticed the function name wp_notify_postauthor().
It is a little misleading because the option says “Email me whenever […] Anyone posts a comment” (emphasis mine), and this option is only available when logged in as admin, yet it really emails the post author.
