Point to new xml2rfc; add a bit more background.