restored proper order of NEWS entries (lost due too long-waiting patches)
restored proper order of NEWS entries (lost due too long-waiting patches)

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