The comments should be searchable in GoodNotes!!
Comments is a very useful way to take notes, thus I write many of my thoughts in comments. However, I find I can’t search for my comment in GoodNotes, which cost me a lot of time to search my notes. I hope the the contents inside the comments can be searched.