Avoid duplicate entries in published.json