After using TeXLive on Windows for a few years, I’ve just installed it (2019 pretest) on my Ubuntu system. I’m wondering— Is there any set of .desktop files around, which would correspond to the Start menu shortcuts installed under Windows? —Joel C. Salomon