For those wondering, the domain tpc.int was registered before `.int` domain registrations required an established international treaty.

It was grandfathered in when this requirement was added.