Hi eumel,
Great, thank you very much for your feedback. I actually was tempted to buy the same sensor because it has excellent specs. There are also mini laser time-of-flight sensors with seem to be even better, and I'm sure I've seen them here in the forum somewehere (by Juh, I believe). But the temptation to make the thing look like the original was too high

In fact the RWCL-1601 sensor fits perfectly and it gives results which are very similar to the HC-SR04, I assume that's enough for most models.
What I didn't mention yet is that I've installed and Arduino Pro MIni clone just behind the RWCL-1601. Thanks to some great pinout coincidences I was able to solder three of the four sensor pins directly to the Pro MIni. The whole assembly is sturdy and very thin (I removed the reset button) and it fits easily inside the ft housing. Here:

- RWCL-1601 with Pro Mini.jpg (114.53 KiB) 6778 mal betrachtet
So far I'm using the Arduino to decode the signals from the sensor and send them to the outside world via I2C. I didn't test it with the TXT yet, but with the micro:bit it worked right away.
Greetings,
Rubem