See https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md#version-3420-december-15-2023 (from 3.41.0).