Documentation tool generates text in IETF Internet Draft format from standard HTML Source