lichess.org/training/hZyVjAfter Kxd7, f5, Kc6 is also winning for white. I checked with SF16
Indeed. I think it took a moment for Stockfish to see that, so probably just insufficient search depth.
Ok. I ended the analysis.
Kc6 and Rd1 are both mate in 39.
<Comment deleted by user>
Good find, it will be removed