Archive of modules by Maf, originally downloaded in 2021 from a Google Drive owned by Maf at https://drive.google.com/drive/folders/15_xa4gqTxow4jEi1-Vo0vmy2iyeygImd