The Red Sox, as you are probably aware, have been a bit more active in January than they were in November and December, which isn’t exactly a high bar. But still, they’ve added Martín Pérez and Garrett Richards to the rotation, Enrique Hernández to the lineup, and Adam Ottavino to the bullpen. At least, that’s what’s been reported. As of this writing on Saturday morning, only one of those players — Ottavino — has been officially added to the Red Sox roster. There’s no reason to doubt the veracity of the reports, of course, but it’s worth noting that nothing is official until it’s official.