Billionaire tech mogul Elon Musk posted Monday on his social media site that he had “deleted” 18F, a government agency that worked on technology projects such as the IRS’ Direct File program. This led to some confusion about whether Direct File is still available to taxpayers,

Most people who are eligible for tax credits claim them. Direct File—the IRS’s online tool for filing tax returns—could get more eligible filers to claim EITCs and CTCs.