Do HC-SR04 5V rangefinder sensors work in 3V battery mode?

Official Hardware MKR Family MKR FOX 1200
2

measure echo pin voltage, if it was 5v (more than 3.3v), then you have to scale it down to 3.3v.