+1.13: 2023-02-28::
+ Fixed slightly buggy emission of end-of-game messages on a win.
+
+1.12: 2023-02-06::
+ The bug and todo list has been cleared.
+ Correctness has been systematically tested against the 1995 code.
+ Typo fixes and documentation polishing.
+
+1.11: 2022-04-14::