Garmin’s Blue Triangle bug explained: is it still down?