RFC 4012 is now out

I tidied up a few last bits with the RFC-Editor at the IETF meeting and RFC 4012 is now official. Thanks to everyone who contributed and commented on this document! -Larry http://www.ietf.org/rfc/rfc4012.txt