Setting user preferences

Each user can specify display options for the server, including the language for the server and how the server shows times and dates.