I think this is a good time to send back our changes under
	src/gnu/dist/*
to the appropriate maintainers, and I volunteer to do it.
Does anyone else want to get involved?  (i.e. review?)
If so, please let me know.

Thanks,
Gordon