Since I’m on this weird protocol trail, it turns out there’s a /dev/null protocol, the Discard protocol on TCP port 9.