a -very- case sensitive search

[John Machin]

Dustan wrote:

>
> If you're using google groups, it for some reason thought my example
> code was 'quoted text', which it certainly isn't, seeing as it's not
> found anywhere prior to my message.

Sigh. And if we're NOT using Google Groups, it still thinks so ...

The reason is that your "example code" was in fact a screen-dump of a
Python interactive session, in which lines are preceded by ">>>" which
Google Groups simplistically thinks is quoted text from a previous
message.

HTH,
John