Hi Erco,
4 years later, and i'm looking to buy some of these 4pin sensors to tinker with. Better late than never ;-)
I notice the most popular ones these days (2019) are only 3 pin, which use an LM393 (comparitor) instead of a 555 oscillator to drive the IR driver LED.
Maybe these aren't as...