The TDX web site is currently down. User email facilities and source code access etc. are not affected by this.