As mentioned above, those were included as a result of some special arrangement between Arduino and the manufacturer. The manufacturer of your ESP32 dev board doesn't have such an agreement. It also doesn't necessarily imply that Arduino provides technical support for those boards, as the agreement might well have been limited to the inclusion of their platforms in the primary package index file.
It is certainly interesting.
Are you using the exact same version of the Arduino IDE (e.g., 1.8.16) on both computers?
Are you using the exact same version of the ESP32 boards platform (e.g., 2.0.0) on both computers? You can see the installed platform version at Tools > Board > Boards Manager.