Simon Peyton-Jones wrote: > great. Can you just do the merge? You are hereby appointed an "accredited > wiki maintainer"! Thank you :) I edited GettingTheSources as we said, and removed the links from the /Building page. Neil, if you think the extra links should be kept, sorry and please revert. Jost