[tom_]

Indeed it is, and hence my comment - see, e.g., https://news.ycombinator.com/item?id=42256409. I was wondering how it might be done generally by posting strings here though!