Added deactivated option to prefer unconverted to outdated (formerly
always activated).