Am 12.06.2021 um 15:15 schrieb Giovanni Piredda:
Does anyone have any opinions on this topic?
By the way in this long thread I have lost the overview of the discussion :-) So I do not know anymore if people wanted to discuss this in one of the online meetings.
G. _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
