HurricanePootis [1] filed a deletion request for godot4-mono-bin [2]: godot4-mono-bin was made before godot-mono-bin was updated to 4.0. Now that godot-mono is updated to 4.0, godot4-mono-bin is bloat
[1] https://aur.archlinux.org/account/HurricanePootis/ [2] https://aur.archlinux.org/pkgbase/godot4-mono-bin/
