👥 The list of the users
[2018-10-26] Now the full name is configurable in the settings page.
[2018-10-24] We renamed some user IDs to fit the new rule. We now use only lower case alphabets (a-z), numbers (0-9), _ and - for user ID. The id can be changed from this page.