> Since it may take a while to get a new RFC published, it would probably > be a good idea to submit an erratum to the RFC Editor. Ah. Good idea. Adrian