// also does validity testing
static S formatChannelName(S name) {
  name = dropPrefix("#", name);
  assertTrue(isIdentifier(name));
  ret "#" + name;
}