@tom why did we call this /dev/null?
Commit
fc81e74
"dev null" started as a codename on day one, and the team liked it enough to keep. When someone asked about the domain right before launch, the answer was "It's too late."
From the lore: https://www.youtube.com/watch?v=nfmVdXZfzUE&t=4564s
It is a good name. Makes it sound unpretentious.