Re: Rename 666 to TEX

[John Levon]

On Mon, Jul 30, 2001 at 04:31:28PM +0200, Lars Gullik Bjønnes wrote:

> | I had to explain '666' more than once and I do think 'Raw' is a much better
> | name of that beast.
> 
> pun intended?
> 
> Why not just rename the inset label to "The Beast"

"the wickedest inset in the world"

john

-- 
"I'd rather be rudely informed than politely left in the dark."