[PRQ#39523] Deletion Request for codimd-bin

[notify]

FabioLolix [1] filed a deletion request for codimd-bin [2]:

CodiMD has renamed to HedgeDoc, hedgedoc is in [Community]

[1] https://aur.archlinux.org/account/FabioLolix/
[2] https://aur.archlinux.org/pkgbase/codimd-bin/