My objective is really not a longer fork, but a better one. I mostly ride gravel roads, and packed dirt trails, mostly populated with hikers. I don’t jump but small ruts and roots make my bike bounce. I’m not fast enough to make me lose control, but would like a little damping. Almost all newer (read that better) forks will do that but shopping used limits my choice of fork length. I think I could do with anything 130 mm or less without problems. That is the only reason I am considering a new fork.

Thanks for all the suggestions.