user_list.c: Fix documentation of populate_user_list().