An ATF official once listed as a diversity official is now listed as only a senior executive, after Trump's DEI ban.