Vero4k Remote suddenly stopped working

Just to be sure we’re talking about the right location of the blue LED, see Pairing the Original Black OSMC RF Remote Control with a Pi/Vero2/4k/4k+