Should it be set to the timezone of the server Craft is installed on, or the timezone of the current user, or something else?
I can find no documentation about these settings anywhere.
You set it to whatever timezone the content authors will be in, so for example, when they say an entry’s post date is at 10 AM, Craft knows which timezone that should refer to.