With thanks to @johnathan for the answer:
Type ‘@’. Then start typing the name.
It should pop up a drop down with a list of all Members. Pick the one you want.
hmmm … is a pup-up drop-down an oxymoron? (I know you shouldn’t ask two questions in one post, so don’t answer that.)