Russell-Jones

I've not tried it, but I guess you could use https://github.com/cmungall/gosf2github From reading https://raw.githubusercontent.com/cmungall/gosf2github/master/README.md it looks like you need to: git clone https://github.com/cmungall/gosf2github.git Export tickets at https://sourceforge.net/p/minsky/admin/export and save as...

I've had a look on https://gitlab.gnome.org/ and can't find a relevant issue (though https://discourse.gnome.org/t/top-level-window-transparency-in-newer-versions-of-gtk/2210 looks kind of interesting) These look vaguely related, but I don't think they're what we're seeing...

@emiapwil I'm afraid I'm on Ubuntu 20.04 now, and Gnome-shell 3.36 isn't supported yet.

@TheDudeFromCI You're not installing from https://extensions.gnome.org/ presumably?

[Time zones in Django](https://docs.djangoproject.com/en/1.8/topics/i18n/timezones/) looks relevant. 0. lots of advice on using pytz 1. a check against pytz.common_timezones when setting in the player session 2. calling django.utils.timezone.activate(pytz.timezone(TZ)) looked handy, but...