How do I know the name of my ESP32 module in the Arduino Board Manager?

Other Hardware 3rd Party Boards
2

Is the one you should highly consider using.

ESP32 API contains the answers to your questions.