function inject_http(){
  var anchors = document.getElementsByTagName("a");
  var i;
  for( i = 0; i < anchors.length; i++ ){
    var a = anchors[i];
    if( a.host == document.location.host && a.pathname.indexOf("html") > 0 ){
       a.protocol = "http";
    }
  }
}