The final tree picture on the page shows all of:
core/development
development
extras/development
are those supposed to be:
core/development -> ../development
development
extras/development -> ../development
? Or else, what does it mean? We're not going to have both merged and
unmerged copies of all the development/ contents on mirrors are we?