Per cent (%) now functions as comment character in tt box environment
Per cent (%) now functions as comment character in tt
box environment

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