> > Slightly off topic I know, but how does one pronounce 'Shrdlu'?
> I pronounce it closer to "shurdloo" than "shrudloo" but I think
You sure do!
But, come to think of it, isn't SHRDLU the singing artist formerly known as
Prince's first name?
[Take it easy, list monitor's, we're discussing typographic anomalies, not Slick
Willie's true mentor and role model, Tricky Dick!]
Institute of Government, UNC-CH
919 966 4457
[log in to unmask]