I don't know if this is the proper list to ask about this, but there you
have it.
I somehow damaged the /boot partition of my Fedora 31 installation and
have tried to use the Troubleshooting tools on the installation media.
But the only option in Troubleshooting ---> is to boot into a Graphical
Session, rather than to select a troubleshooting tool.
What happened to the troubleshooting tools?
Alan