Lukas Renggli wrote:
>> Yes, and that's exactly what I said in my meta rant: "people copying
>> really screwed up stuff ... just because they can't change it there and
>> don't want to work around the differences". In other words, you confirm
>> my meta rant ;-)
> 
> If the name is the only thing you worry about, we can easily rename it
> to something else and then put an empty subclass called Pragma into a
> compatibility package. As long as the name is the only trouble causer
> I see no troubles ;-)

And I wrote: "Not that I personally care that much about this particular 
name ..." and I meant it. After all this was a *meta* rant (that's what 
these tags are good for).

Cheers,
   - Andreas