May 30, 2002
12:51 p.m.
Coming up with a code patch wouldn't be too hard, I think, but where would the documentation go?
In the C/API docs. There are enough precendents of platform-specific documentation in the core docs. --Guido van Rossum (home page: http://www.python.org/~guido/)