local 'end': no default tags; tag parser: do not swallow trailing newlines;
local 'end': no default tags;
tag parser: do not swallow trailing newlines;

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