XIAO ESP32S3 + Micropython + User LED

Hi, it would help a lot if you could post a minimal working snippet.

where does “board” come from?
where does “digitalio” come from?

Thanks