RE: Should we kill off the headers in Tools>Preferences?

[Leuven, E.]

> OK, I did it.

thanks

> But why on earth aren't you "sufficiently empowered"!?

probably because i flunked out of hogwarts...