Rewrite IETF ID URLs to Tools or Datatracker · تاریخچهٔ نسخه‌ها

Rewrite IETF ID URLs (www.ietf.org/id/foo-00.txt) to the Tools (or Datatracker) versions.