NOTE:

Due to upstream problems which caused a lot of spurious rewrites since ~2024-12-06,
I have temporarily paused the repository syncing. I'm sorry for the inconvenience,
will try to get this resolved... when I find enough time and energy.

~sdomi (2025-02-28)