Unfortunately, I broke my ultrasound sensor during resoldering of connectors. Taking advantage of necessity of buying something, I’ve bought three new ones!
Updated code with a new ultrasound sensor driver:
https://github.com/an-dr/zakhar_sensors/tree/c4e7a5e5c91acbbc1efdaaa4122e46428793c973