Using Goodnotes (because it has pretty good search) and https://shop.astropad.com/products/rock-paper-pencil, made it a much more enjoyable experience for me.

Of course, I'm also pretty bad at taking notes in general, so I don't use it nearly as much as I should.