Version 0.2.0 (September 1, 2023)
Added support for hover notifications with type info.
Switched to EISOP Checker Framework which provides necessary features.
Many improvements to the development process, source code, and documentation.
Dependency updates.