Now this repo is moved there is some other admin to do: - change any hyperlinks (grep for cjdoris) - change the URL in the general registry - anything else??
Now this repo is moved there is some other admin to do: