[GiovanniP]

On the other hand if something (in this case ease of installation) helps people to use the tool, then it helps TeXmacs too, which in turn helps users.