It would be nice to double tap on the Apple Pencil to switch tools, it would make things easier for iPad users! Unless there is already such a function?