Venkatesh Rao@vgrSounds like something I wrote. If so, I’ve forgotten what this is from.5:18 PM · Aug 13, 20211 Like