If anyone else has a boring moment: https://github.com/pantsbuild/pants/pull/17881 🙂