Sure, but they cannot stop there because as much as they are going after Trump to viciously hurt him, it's also about winning in 2024. If the RATS were truly confident in their fraud machine, they would want Trump to run again so they could embarrass him into a second loss. Unless we're playing Vizzini logic games in which case they're doing all this to make sure he runs in 2024...
Assuming they are not, the RATS will also have to indict DeSantis and Pompeo because while not as popular as Trump, those two are also not likely to be the GOPe designated loser for 2024 like McCain and Romney were in 2008 and 2012, and what ¡Yeb! was prepared to be in 2016 until Trump ruined it for him.
Good points. I agree.