If you want, tell me the exact KeyRep version you’re looking for (or the reason you need it) and I’ll suggest the most likely places to check next.