Yes, that is model ACR, and it also blinks on MAME.

Model CR is slightly newer, I wouldn't be surprised that they used the ACR manual as a template and had an oversight about blinking on double jump.

IMO the chance is higher that it's a bug in the manual and not in emulation ;p