Yeah, I thought all that stuff about 'denazifying' Ukraine (via total regime change) came after Putin's declaration of war. If the Russians get most or all of the priorities they were after before formally popping off the fireworks anyway - well, this entire war seems like the sort of situation...