Yay, the circle tool seems to work!

https://www.openstreetmap.org/user/z-dude/diary/13498