[PRQ#61096] Deletion Request for opentofu

carsme [1] filed a deletion request for opentofu [2]: This package has been promoted to [extra]. [1] https://aur.archlinux.org/account/carsme/ [2] https://aur.archlinux.org/pkgbase/opentofu/