I can't view the annotations in Preview (version 11.0 (1033.4)) either, other than in the "Highlights and Notes" sidebar, which isn't very convenient compared to the pop-up on mouse hover in Acrobat.
Perhaps it's possible to filter the results returned by PDFKit?
Search for words in proximity
Yes, this seems to work as intended! Thanks, Günter.
Strange line block indentation (nested line blocks)
Yes, my report is about the Node class (well, instance) attribute. Since the parent instance attribute seems to be consistently set on all nodes, perhaps it's a good idea to go for the @property-based solution. This is easy to implement and adds useful functionality. This issue reminds me fact that the source and line instance attributes that are missing (= None) in many nodes. I remember that that would require a lot of work to fix. Thankfully, that doesn't seem to be the case here.
Strange line block indentation (nested line blocks)
Thanks for your quick reply, Günther. I haven't been able to find explicit documentation on this. The Docutils Document Tree document is labeled as incomplete and it doesn't mention the parent attribute either. So should that attribute also be assumed unsafe, even though it's extensively used in the docutils code itself? The only documentation I could find on these attributes was in the docutils/nodes.py source file, in the docstrings of the Node class definition. These do not make any distinction...