Not that this negates your point, but the original release date was Feb 2017, and it bounced around a few (non-Summer) dates before settling on Jan 2020, but that was before anything had been filmed. So, even in concept, it wasn’t considered for a prominent release date.

Still though, could have been a frowny face text from Martin’s trainer that made Sony decide to release it in January.