While looking into a problem on trinity-users I noticed that
TDE apps are not present in my Wheezy menus.  Judging by the
original user report, this is probably the case also in Mint.

I had not noticed this before because all the apps my users
and I use regularly are either run from panel buttons or else
are non-TDE apps such as LibreOffice which are present in menus.

It is not immediately obvious to me where the problem lies.
Does anyone have any information on this or should I start
trying to figure it out?

--Mike