If so, they should have named it George Tcl. Jim is known for another whiskey.
Reply on news.ycombinator.com