Re #9660
Document rendering is now done on the first annotation load, then it is cached. Adding or removing tags is done incrementally.
Document rendering is now done on the first annotation load, then it is cached. Adding or removing tags is done incrementally.