Athanasius

The PR creation from the GH workflow is definitely working now. It'll cause the latest to naturally get used in GitHub builds (as it's checking things out from scratch each...

You *should* always be able to either just hit or some number of times and *then* to close the Settings dialogue. Making it resizable may well not mesh well with...

As per comments in Discord, I'd take this opportunity to move to the standard ways of naming things in Python. 1. `Translations` is currently the singleton. This should not be...