After this is merged, the old semantic checker can be disabled, and its config file removed from the repository.