TSOP-ed my kitchen lights

After replacing the 12V victim with another ATtiny85 and switching the IR sensor to the TSOP38238 (cheaper, better range and less directional), my kitchen lights are now under remote control. It only looks ugly from below. While doing things one does in a kitchen you hardly notice any of that.