#833: Added preference to be able to select which plugin to select on startup.