FYI, there was a thread on sharing RFC and W3C formatting rules and tools on the mailing list of the group responsible for W3C publication format, http://lists.w3.org/Archives/Public/spec-prod/2012AprJun/0007.html.