Use rfc-editor.org instead of tools.ietf.org. - plumb - Open certain URL patterns with an ad-hoc opener (plumber)
 (HTM) hg clone https://bitbucket.org/iamleot/plumb
 (DIR) Log
 (DIR) Files
 (DIR) Refs
 (DIR) README
       ---
 (DIR) changeset 5fc4e00ceceb6f92f754c8f88910d3b56f1280fe
 (DIR) parent ef239ff162122271d5774523bb3c039011df8db0
 (HTM) Author: Leonardo Taccari <iamleot@gmail.com>
       Date:   Sun,  1 Apr 2018 18:33:26 
       
       Use rfc-editor.org instead of tools.ietf.org.
       
       (Seems used also for RFC DOIs.)
       
       Diffstat:
        openers/rfc |  2 +-
        1 files changed, 1 insertions(+), 1 deletions(-)
       ---
       diff -r ef239ff16212 -r 5fc4e00ceceb openers/rfc
       --- a/openers/rfc       Sun Apr 01 03:32:21 2018 +0200
       +++ b/openers/rfc       Sun Apr 01 18:33:26 2018 +0200
       @@ -2,6 +2,6 @@
        
        for u in "$@"; do
               rfc="${u#*://}"
       -       rfcurl="https://tools.ietf.org/rfc/rfc${rfc}.txt"
       +       rfcurl="https://www.rfc-editor.org/rfc/rfc${rfc}.txt"
               plumb "${rfcurl}"
        done