iOS notes app - drawing tools disappear when using Pencil

Solution 1:

An update to iOS 13.5.1 seemed to fix the issue. I got the hint in the Apple Discussion forums https://discussions.apple.com/thread/251558519?answerId=253012468022&page=1