[PATCH 00 of 19] autocomplete cleanup / user name displaying

[Thomas De Schampheleire]

As discussed before, here is a thorough cleanup of the autocomplete
JavaScript code, as preliminary for a rationalization of the way user names
are displayed...

This does not yet include the removal of all explicit uses of user.lastname
in places that really should be using full_name, because it requires a bit
more work and it would delay this series.