This includes:
- minor update: virtual scroller page mode for main annotation page
- minor update: add visited-color configuration
- major update: support pagination in frontend and in requests to dumpthings
- doc updates: not directly applicable to annotation-tool users
- new feature: introduce a new editor for any_of, aka sh:or, fields
See full changelog: 851ebf300d...d0e791bfcb
Stephan Heunis
2fe77a8d53