<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote gmail_quote_container"><div dir="ltr" class="gmail_attr">On Thu, 18 Dec 2025 at 16:31, Zoltan Somogyi <<a href="mailto:zoltan.somogyi@runbox.com">zoltan.somogyi@runbox.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">I am not attaching the diff because it is above 100k in size,<br>
and its contents are trivial. The only thing worth reviewing in any case<br>
is the naming scheme of the successor files. Note that I have not<br>
tried to figure out which files contain correct markdown and which<br>
contain only sort-of markdown; I am leaving that to Julien.<br></blockquote><div><br></div><div>I think it's probably just the last three, but I will check this evening.</div><div><br></div><div>> Break up the HISTORY file.<br>> <br>> Documentation/NEWS_1995_07_18_release_0_3:<br>> Documentation/NEWS_1995_09_14_release_0_4:<br>> Documentation/NEWS_1996_02_15_release_0_5:<br>> Documentation/NEWS_1996_08_02_release_0_6:<br>> Documentation/NEWS_1997_08_15_release_0_7:<br>> Documentation/NEWS_1998_11_18_release_0_8:<br>> Documentation/NEWS_1999_12_18_release_0_9:<br>> Documentation/NEWS_2001_02_25_release_0_10:<br>> Documentation/NEWS_2002_12_24_release_0_11:<br>> Documentation/NEWS_2005_09_09_release_0_12:<br>> Documentation/NEWS_2006_09_14_release_0_13:<br>> Documentation/NEWS_2010_07_09_release_10_04:<br>> Documentation/NEWS_2011_04_27_release_11_01:<br>> Documentation/NEWS_2011_12_22_release_11_07:<br>> Documentation/NEWS_2013_05_16_release_13_05:<br>> Documentation/NEWS_2014_02_10_release_14_01:<br>> Documentation/NEWS_2020_01_28_release_20_01:<br>> Documentation/NEWS_2020_06_30_release_20_06:<br>> Documentation/NEWS_2022_03_31_release_22_01:<br>>     Move the contents of the HISTORY file to these files.</div><div>> <br>> HISTORY:<br>>     Delete this file.<br>> <br>> NEWS.md:<br>> README:<br><br>s/README/README.md:<br><br>>     Update pointers to the deleted file.<br><br>That's fine otherwise.<br><br>Julien.</div></div></div>