4 ms·

And fortunately, Musk only said he "deleted" the IRS's Direct File program and people might get to use it one last time.