To quote two specific bullet points from the "How do the names get matched?" section of the FAQ you linked:
Matching is performed in reverse chronological order, so if five people named John are participating, @john will match the most recent John. (Use the next rule to differentiate.)
Spaces are removed from the display names for matching purposes. So to match Peter Smith you may use @pet, @peter, @peters, or @petersmith. The last two are useful if Peter Jones is also participating, who can then be distinguished using @peterj. However, no spaces are allowed in the @name itself. Like to notify P Smith, one must use @psm or @psmith. (Here @P Smith would be handled as just @P, which is too short.) Single quotes, dots, dashes and underscores should not be removed.
So Jeff's comment was posted at 22:17:43, then your edit was made 14 seconds later at 22:17:57. Since the other Jeff has no other identifying characters after his name like you do, it was technically impossible for him to be pinged at this point, since there is nothing that you can add to the name in order to direct the comment at him and bypass the rules above. Since you are the most recent Jeff that is eligible to be pinged, a ping to @Jeff would ping you, until the other Jeff posted another comment making him the most recent Jeff again.
The pinging rules on the main site are different from those in chat, and it is not possible to ping more than one person in a comment like it is in a chat message.