Jiexi has his own home page now at jiexi.freeshell.org/