RE: @behdad@typo.social

If it is good for Knuth, it is good for me I guess.