Expose hard-wired string which was changed and broke Proof General.
Expose hard-wired string which was changed and broke Proof General.

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