Mysterious error in transpose options fixed

I discovered that the version of Toadflax that I uploaded on 8 June 2022 had a bug which meant that
the transpose options were incorrectly displayed. I did not get to the bottom of this, but it seemed to
go away when I re-compiled the code, so I have uploaded a new version today (13 June 2022) which
looks to have fixed this.