more robust ML_Antiquote.variant via Name.desymbolize (which also allows symbolic names, for example);
more robust ML_Antiquote.variant via Name.desymbolize (which also allows symbolic names, for example);

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