/*
* @title Go RFC HTML from Text
* @description RFCのtxtページからHTMLページに移動します。
* @include http://www.ietf.org/rfc/*
* @license MIT License
* @require
* @private
*/
var url = location.href;
if (url.match(/\/rfc(\d+)\.txt$/)) {
location.href = "http://tools.ietf.org/html/rfc" + $1;
}