On Monday, 7 November 2022 at 01:06:23 UTC, Adam D Ruppe wrote: > No, but not that much has changed and you can always post here > with questions. How is your `minigui`? Please write an `introduction` when you have time.