From 24 December 2023 this repository collection is no longer updated. My new repository collection is at https://github.com/juigmend?tab=repositories
