Congratulations to Ken Thompson, the newly-minted ACM Fellow: https://awards.acm.org/award_winners/thompson_4588371 (It seemed of historical interest, and therefore on-topic. :) ) -- Royce