replaced token translations by common markup; use XML.text instead of separate escape;
replaced token translations by common markup;
use XML.text instead of separate escape;

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