Dosbox rpm was retired from F35 in
https://src.fedoraproject.org/rpms/dosbox/c/74f52b332b1c3ba390ccb12368d896a54cdcd5db?branch=rawhide
The replacement for the package is dosbox-staging. If we want to keep
providing a dosbox version as flatpak, we should make a flatpak of
dosbox-staging (under a new name) and mark this one (dosbox) as
"end-of-life-rebase: io.github.dosbox-staging" to ensure users are moved
over to the new flatpak.
These all have to be correctly named for desktop integration to work (so
that we get a launcher in gnome-shell and can search for it in
gnome-software etc).
