See https://github.com/typetools/checker-framework/blob/master/docs/CHANGELOG.md#version-3470-october-1-2024 (from 3.46.0).