We're glad to have them here at TUG, but since we don't want to blow their cover we won't make a big production of drawing attention to them. That's why there won't be a welcome thread to welcome...them...to the...forum... Oh, crap, what have I done? (Welcome to TUG, incognito!)
