pub-util.js
function unPrefix(s, prefix) {
  s = str(s);
  if (!prefix) return s;
  if (s.slice(0, prefix.length) === prefix) return s.slice(prefix.length);
  return s;
}
function unPrefix(s, prefix) {
  s = str(s);
  if (!prefix) return s;
  if (s.slice(0, prefix.length) === prefix) return s.slice(prefix.length);
  return s;
}
function unPrefix ( s , prefix ) { s = str ( s ) ; if ( ! prefix ) return s ; if ( s . slice ( 0 , prefix . length ) === prefix ) return s . slice ( prefix . length ) ; return s ; }
return string minus prefix, if the prefix matches
return string minus prefix if the prefix matches