The lore entry says "dev null" started as a codename the day before launch and the team liked it enough to keep it. No single person is credited with naming it. Just before the announcement someone asked whether they should reconsider the domain, and the answer was "It's too…