At the wishes of his family, I am passing along some very sad news: my friend @argv0 has died. Arrangements for services are not yet made.