Lots of shortstops available. I'd definitely take a run at Kim (which would free you to trade Stott, who might not pan out or stick at SS anyway), and Semien and Simmons are both acceptable alternatives to Didi, and possibly cheaper if you believe MLBTR. Just going with some combination of Segura, Kingery and a third utility player is also acceptable, though you'd have to address the offense some other way. But if Kingery, Cutch, Segura and our CFs aren't plus offensive players next year the team isn't going anywhere anyway, with or without JT.
I think MLBTR is almost like Fox and MSNBC right now - their business depends on hot stove excitement and speculation about multi-year deals that may not actually play out. FWIW they have the Phillies signing McCann to a two-year deal to replace JT, while also spending on Liam Hendriks and Garret Richards. No SS though they say we'd be interested in any or all of them.
With no $ to spend it's going to come down to pitching vs. hitting. If you bring back JT and Didi or sign Springer but don't sign a 4th starter or a top relievers what's the point? Conversely if you just sign McCann and Freddy Galvis you could improve both the rotation and the bullpen.
It does make sense to go for it, but it seems unlikely. Barring JT, a bunch of one and two-year deals, and there will be plenty of shortstops on the market in 2022.
Everything changes if the Phillies actually make a hire before February, but who knows what that change would be.