Yup, you are not the only one -- this annoyed me sufficiently that I finally
gave
in and wrote a Chrome extension to do this for me.
Basically it watches the address bard and looks for www.ietf.org/id/<foo> and,
depending on the setting in the options page, will redirect to the Tools or
Datatracker.
Inspired by that, I wrote a completely trivial (one-line) Greasemonkey
script this afternoon, to do it for Firefox. It's so short that I'll
just paste it below. Works nicely.
Barry
--------------------------------------------------
// ==UserScript==
// @name IETF draft html
// @namespace ...whatever...
// @description Redirect txt drafts to html
// @include http://www.ietf.org/id/*
// @include https://www.ietf.org/id/*
// ==/UserScript==
(function () {
window.location = new
String(window.location).replace("www.ietf.org/id",
"tools.ietf.org/html").replace(".txt", "");
})();
--------------------------------------------------
_______________________________________________
Ietf mailing list
Ietf(_at_)ietf(_dot_)org
https://www.ietf.org/mailman/listinfo/ietf