Should host/domain names travel over the internet with a trailing dot?