Deng Huang’s homepage has been moved to
www.geocities.com/huangdeng.

Thanks.