[PRQ#74214] Deletion Request for biome

a821 [1] filed a deletion request for biome [2]: It looks like it was pushed to the AUR by mistake; it was migrated to [extra] three months ago (see PRQ#70919), and it's still available there (last update 2025-06-23). [1] https://aur.archlinux.org/account/a821/ [2] https://aur.archlinux.org/pkgbase/biome/