I'm missing an option where you can set the pencil as a finger only to navigate. It's very practicable for reading, so you can navigate with the pencil and switch to highlighting and back, for example. It also helps with clicking on hyperlinks. This way, the user doesn't have to switch between the pencil and their finger all the time.