static S fileNameEncode(S s) {
  ret urlencode(s).replace('+', ' ');
}