show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;
show expanded path, to avoid odd /foo/bar/$ISABELLE_BROWSER_INFO/baz;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle