In a previous change, we forgot to update the documentation regarding the config filename for plugin which changed from "ide.json" to "ide-plugin.json".

Could you update that as well as some doc updates are needed ?