Setting to change timestamps to be in local time zone

[jatloe]

59be4f3

[vEnhance]

The problem is that "local time zone" is ill-defined, see https://docs.djangoproject.com/en/4.2/topics/i18n/timezones/#selecting-the-current-time-zone

The current time zone is the equivalent of the current locale for translations. However, there’s no equivalent of the Accept-Language HTTP header that Django could use to determine the user’s time zone automatically. Instead, Django provides time zone selection functions. Use them to build the time zone selection logic that makes sense for you.

This was actually why I switched to UTC specifically for pset submissions to begin with.

[jatloe]

Maybe make it so that you can choose your own time zone wrt UTC when turning on that setting then?

[vEnhance]

Seems reasonable, guess you would have a time zone setting that defaults to blank.-- *Evan Chen (陳誼廷) *[via evanchen at mit.edu] https://web.evanchen.cc/