- Update to version 3.0.0
* speed up document parsing, should result in faster document load times
* spell checking is done asynchronously
* custom verbatim/math env highlighting abandoned for a cwl based approach
* better dark-mode support