Meeting minutes
Publication feedback
Kaz: generated several minor PRs before the previous publication, but just some of them should be applied to the main index.html
510, 509, 508 ,505, 504, 503
PR 510 - pubdate 2023-10-03 again
PR 504 - add Makefile to show how to use fix-id.pl
PR 503 - add a postprocess script
Daniel: will look into them to see which from them to be applied to the main index.html
(Kaz has remembered there were some more PRs: 496, 495, 494, 493, 492, 491 and 490. Among them 495 and 494 are important.)
[adjourned]