static JList showCommandList() {
  ret swing(func -> JList {
    JList list = jlist(knownCommands());
    addToFrameSplitRight_aggressive(consoleFrame(),
      withTitle("Commands", list));
    ret list;
  });
}