Don't the latter require separate board support in the Arduino IDE? That was at least the case in the past

That's only if you're using the Arduino IDE though, and it's so commonplace that instructions are widespread. Many are using MicroPython/CircuitPython which are independent from Arduino.