Mike wrote: > I was going to suggest that we recommend that people only use library > names that can be encoded using vanilla filenames on typical platforms, > and not talk about the others. Having screwed that up, I suggest > renaming i/o to io, and still making the recommendation. I'm in favor of that. Will