Just realised that if we not specify any published-names, even that could get uniquified.