How do I extrude with a hole?

[Nakilon]

Since the "Help Docs" link is broken I'm trying to figure out how to use it rather via trial and error.
For example, I want to design a triangular nut like this:

I use the tool deployed here: https://autodrop.cloud/jsketcher/
So I create a Plane, then Sketch with three helper lines that I mark as "exclude from 3d operations".

But when I "select a face" to Extrude, it does not realise the circle is cut out, and it results in:

How am I supposed to extrude a thing with a hole? Do I need to make two sketches and then combine them somehow? I

[mmiscool]

Hello,
Currently when a sketch is consumed by the extrude or revolve commands it creates a separate body for each sketch loop.

Handling nested loops within a sketch to extrude an object directly with holes in it is on the list of improvements but currently it is not possible.

The best way to perform the operation today is to subtract the body created for the hole from the other body.