Hey,
Just wondering whether it'd be possible to install the 7.1 sources in /usr/src (both src.tar.gz and sys.tar.gz)? It'd be nice to have the source of the system available for perusal, and it'll (mostly?) avoid multiple user copies. (If we had both 7.1 and -current, that'd be insanely awesome!)
Thanks, ~s