A Repeat of a Challenging Composition

I posted this a couple of weeks ago, but no one solved it. Can you find white's winning plan?

K7/5R2/5R2/P4p2/8/8/1p3r2/k7 w - - 0 1

1.Rb6 b1=Q
2.Rxb1+ Kxb1
3.a6 f4
4.a7 f3
5.Rf6 Kc1
6.Rc6+ Rc2
7.Kb7 Rxc6
8.a1-Q f2
9.Qf8 Rc2

I don't know how to proceed further.

So far, well done but for the typo at move 8 for white. The finish from this point is challenging still, so work it out- from f3, the white queen prevents the black king from supporting the f-pawn, so I think white's plan should be malleable- in other words, not inhuman. There are variations in your line that you ignored, the most critical one being at move 8 for black. You should, if you haven't already, study that variation carefully. And, finally, you should expect me to ask about white's alternative at move 1 that doesn't force a win.

The white's plan is to destroy the black pawn and after that to hunt the black rook.
I think I need to bring my king nearer to the black pieces.I will try to solve it further.

If you do get stuck, don't hesitate to use the Nalimov Tablebase to learn how to take that pawn down. However, the sort of thing you will be looking for is threatening mate on the black king in the corner since he can't get out of there without white's cooperation. So the white king comes forward down the c and b files to the 4th rank. You can probably figure a series of zugzwangs will be needed to win the pawn by driving the rook off the 2nd rank at an appropriate time- this isn't difficult to do, in my opinion since black's space for moving both the king and rook is so limited.

Yancey, I used the Nalimov Tablebase but there were moves that I didn't understand.