Missing users in @-autocomplete

One more observation: if we just type the @ sign, then the pop-up list is complete and we can scroll through and see everyone; it's only as we start to type letters that we get incomplete results.