Apparently it's intended. At least people are aware of it. See
here: "Additionally, only users who have commented on the post are ever populated into the list. Editors and other users from the post's history will never appear there, even if they are able to be notified by typing manually."