When I used XML2RFC, I always used http://xml.resource.org/ That also seems to be down... If you are on Windows, you can download my RFC converter tool which converts from HTML, XML, Word or Markdown to any of the former plus plaintext format. On Sun, Mar 20, 2016 at 9:40 PM, Toerless Eckert <eckert@xxxxxxxxx> wrote: > Just for me ? For quite a while now. >