However, Stockfish 19 has gotten better at understanding fortresses:
https://lichess.org/analysis/1b3r2/8/4P3/2pP2k1/3nB2p/3P3P/5... (now finds 1...Rxf2 = immediately, the evaluation is closer to 0.0)
https://lichess.org/analysis/8/kp2q3/1Np5/pPPp1b2/P2Pp1p1/4P... (finds 1.Nc8+ = quicker (let it ponder four lines), the evaluation is closer to 0.0)
https://lichess.org/analysis/rk6/1p1b4/pBp5/PPPp4/3Pp3/4Pp1p... (The evaluation is closer to 0.0, though still far away)
https://lichess.org/analysis/7k/4p3/5p2/1p1p1p2/1PpP1PpB/1pP... (Evaluation is closer to 0.0)