About the name of the annotation, we could use @IrrelevantForTransientIndex which seems to fit with the proposed feature (but yes, the name is a little bit long...).