[aur-requests] [PRQ#26843] Deletion Request for codimd

respiranto [1] filed a deletion request for codimd [2]: Package is now in `community', named `hedgedoc' [0], which is what upstream renamed `codimd' to [1]. [0] https://archlinux.org/packages/community/any/hedgedoc/ [1] https://codimd.org/history/ [1] https://aur.archlinux.org/account/respiranto/ [2] https://aur.archlinux.org/pkgbase/codimd/