corrected swallowing of newlines after end-of-ignore (improved)
corrected swallowing of newlines after end-of-ignore (improved)

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