I don't really enjoy using GitHub Discussions, I think this forum has a much friendlier (I guess classic?) interface, but if maintaining this forum is taking up lots of Gordon's time then moving to the least effort option makes sense. I'll get somewhat used to it.
It will also mean giving up the small degree of pseudoanonymity I currently have - my username on this forum is completely different to my GitHub/real world name, but anyone with a mind to could already piece it together from things I have said.
I think the most important thing would be making sure the wealth of information here moves to GitHub Discussions (or whatever other platform) - the current forum can sometimes be hard to search, but there is a lot there when you dig back.