OK, I've now looked at the commit that did this and see it's just moved elsewhere - fine.