[aur-requests] [PRQ#11308] Deletion Request for mdm-themes-html