[Guido] > Maybe a better solution is to replace all four occurrences of the > pound sign by \xa3. Source code encodings are nice, but ASCII source > is better. I see that you beat me to that. Thanks!