Since I am here already I wanted to ask another question. There’s a lot of drama about changes in github management, well, already since MS took it over years ago.
Have there been any considerations for Thunder to abandon github to move to a different platform, such as Codeberg or something else?
Much as I like it being more convenient to submit issue tickets if something is going wrong, it would be cool to see a move to another platform! :)