What was the main motivation for the fork? Looks like texmacs itself is still actively maintained: https://github.com/texmacs/texmacs