Update: the war did enbiggen in October after the leak.
That's when Russia announced the annexation of Luhansk, Donetsk, Kherson and Zaporizhzhia.
Most media assumed that was in response to the strike on the Kerch Strait Bridge that links Crimea with Russia.