Build user service autocomplete (for quotes, etc)

[sameetandpotatoes]

The GET request to /users/ should allow us to filter by first name, last name, or netid (the first two take higher priority)

[bcongdon]

Like fuzzy search?

This'd be good for groot-voice-service too

[narendasan]

Also display by name over netid

[pranaygp]

Just curious but is this a frontend specific issue or is this a feature that needs to be implemented in the backend too, and then the front end so it can use it?

(pardon me if there's a related issue on another repo that I didn't see)