> 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@xxxxxxxx https://www.ietf.org/mailman/listinfo/ietf