I would like if there was a third eraser option in the Windows Goodnotes like there is in the iOS one where I can make a rectangle highlighter by erasing the edges and the standard eraser does not do that.