“It means they can be filed against the president-elect when he eventually leaves office, it stops Trump’s incoming attorney general from permanently blocking them and also lets Smith “explain his reasons for dismissing the case, rather than allowing Trump’s future AG to mischaracterize them”