chore(dev): disable Electron Devtron (unused, and problematic with more recent versions)
chore(dev): disable Electron Devtron (unused, and problematic with more recent versions)

edrlab/readium-desktop,edrlab/readium-desktop,edrlab/readium-desktop