[17:36:35] <font color="#600060">Dominus:</font> Marzo, do you think the uncompressed savegame fix is valid?<BR>
[20:26:33] <font color="#005000">Marzo:</font> I haven checked it yet, I had forgotten about it<BR>
[22:11:07] <font color="#600060">Dominus:</font> marzo: thanks for the github action that updates the web page! :) (I think this was my first web commit after you've done it)<BR>