urlText.pump(String,
   fcn(c){ if(c=="%")return(Void.Read,2); return(Void.Skip,c) },
   fcn(_,b,c){(b+c).toInt(16).toChar()})