Maybe also write a script that tries to find this automatically by cloning openmls and grepping for the check ids.