I have a small, unimportant request. Please sign your posts with more
than just your first name. We have more than one Peter, David,
James-- you get the picture. Personally, I like to build up a sense,
over time, of who the individuals are who post. Of course, I get to
be an exception (hah!) because I don’t believe we have any other
Noel at this point (even more likely to remain true if I got to use
the correct spelling, with two dots over the e), and Umesh and Leonid
are pretty safe…
Noel