Tab-completion should automatically add a space after a username

[grahamperrin]

@fefrei

… Add a space and place the cursor behind it, but watch what the user types next: If it is punctuation, silently remove the space. If the user types a single space, simply ignore it, assuming the user did not notice that the space was already there. …

That’s a vaguely familiar set of behaviours but (sorry) at the time of writing, I can’t recall where I found the set. For me, it probably was not with iOS. Wherever it was: I recalled liking the behaviours.