Does anyone know what the little green/neon dot on the back of NFL’s quarterbacks’ helmets is all about?