Support PGIP <whitespace>, <dostep>, <doitem> elements as input
Support PGIP <whitespace>, <dostep>, <doitem> elements as input

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