Similar to the Java tooling in VSCode, we should ask users to automatically enable annotation based null analysis for their projects on project import in case the project contains JSpecify on the classpath.