Direct File — the short-lived, free IRS tax-filing tool — is officially over, shut down less than two years after launch amid shifting priorities in Washington. During its brief run, Direct File gave ...