IETF doc update, including better source code formatting