Dear TeXmacs developers,
Does TeXmacs have any plans to migrate from SVN to Git? If any, I suggest firstly we may migrate Documentation to Git. And I think Github is suitable to host the project because of its popularity.
There are some possible pros:
1. It seems using Git makes it easier to maintain different document for different version of TeXmacs.
2. Also separating Documentation from code will make documentation more up-to-date.
3. ........
Darcy Shen