I have re-enabled that setting and it looks as though my username is still appearing in the @ list as it should. So that’s good, although the root cause may remain a mystery.
Yes, I do mean the SQL output shared earlier, in the sense that only one of our users put their names in the name fields, and this was also the user whose settings I happened to check. I feel like this part of it all makes sense.