Even Devers spent a couple weeks in Pawtucket.
I don't think Devers is the standard every 20yo prospect should beheld up to.
And really, I think Jeter Downs is likely trade bait. Not because his first name is Jeter (do I need to adopt a sarcasm emoji, too?), but because he was clearly Plan B after the first attempt to get an actual starting pitcher failed. So the next step, when you cannot get another top pitching prospect, is to get a player tradable for a young controllable pitcher. And that guy might be Downs...