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?