Board Thread:General Discussion/@comment-31595794-20200609105534/@comment-9605025-20200610022754

Well, IIRC, this change regarding notifications happened at the same time as when anon posts stopped appearing in the thread's history. I don't remember the time but it wouldn't surprise me if it was when they switched to using user ids instead of user names. When you have a significant change like that, it could be easy to miss updating a line or two. But that is just speculation.