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