DinkumSoftware's super-repo, parent of all the dinkum-XXX repos