Re: Terminology Change Request for Next Release

[Piero Faustini]

> If you wish, you can decode "ERT" in the collapsable buttons as "Embedded Raw 
> Text". 

No, no, "Evil Red TeX". It's Evil. It's Red. It's TeX. It is scaring and 
fashinating as some Red Army logo. +1 for keeping it.