Chg: Move some Web PRE source to IRC.