> On Jul 29, 2018, at 21:19, Uri Blumenthal <uri at mit.edu> wrote: > > No offence meant, but this (such a sanitization) is crazy. None taken. I couldn’t really care less. — adam