Re: [trinity-devel] New mascot for TDE, or no?