Thread:76859Thomas/@comment-11491657-20140524221908

I'm writing that Thomas, his friends and their TUGS counterparts are great friends. Is that a good idea? 