Some scripts, quickly-and-dirtily written, but might be useful anyway.
Updated 2023-09-30 14:08:34 +02:00