Dear Marc,
Thanks for your kind response.
> I urge you to submit github issue reports whenever you encounter
> problems with the system so that they can be addressed promptly
> and other users can be aware of these issues, for example the
> issues you are having on Android.
Would you actually be interested in us filing issues against older versions of Gambit (as we don't run the current one)? I am aware that the core Gambit development team is very small, so I could understand that you might not want to maintain those versions.