Case-insensitive online user list

Modification originally posted to Google Groups by Ingrid