Dear darktable users & supporters!
When retouching very high-resolution and detailed images (61 mp) in retouch module, I have the problem that the circle retouching brush cannot be reduced further in size (mouse wheel) at 100% zoom flawlessly. The smallest working setting lets the brush become a hexagon (size 0.11%). If I turn the mouse wheel further, the brush display disappears. Then the brush disappears and done corrections can only be searched for in blind flight (no display) and hardly be found again.
Looks like this is a scaling issue as 0.11% looks like a very small value, but on the 61 Megapixel images this is still too big to remove small spots/dots without including too much surrounding space.
See attached screenshot

Can anyone confirm that behaviour? Shall I open an issue?
p.s. a workaround: select the area with a path instead of a circle - but this is much more cumbersome when multiple corrections are to be done
I work on darktable 4.2.1 on Ubuntu 22.04
Thank you!
Roland