static S tok_spacesToDashes(S s) {
  ret jreplace(s, " ", "-");
}