relocate NEWS to post-release version (cf. 7a14f831d02d);
relocate NEWS to post-release version (cf. 7a14f831d02d);

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