allow "$" within basic path elements (NB: initial "$" refers to path variable);
allow "$" within basic path elements (NB: initial "$" refers to path variable);

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