(These screenshots are licensed under the same terms as 'texmacs' itself.)
Why should it get removed?