Welcome to the forum
Is there something special about the ESP32 S3 super mini that would mean that it would not work with a board described as ESP32-S3 ?
From the Boards Manager of my IDE 2.3.6 installation that has no URL for ESP32 boards in preferences.
I believe that they are now part of the core boards installed by default