Installing firmware version 3.13.2 for the MK3S+ and 3.3.0 for the MMU2 solved the problem. As expected, the idler failed to home after the upgrade, but it then offered to tune the sensitivity which I did change from 7 (default) to 5. And now it works just fine.