PUBLIC オプションを削除しようとしましたが、同じオプションを対象としたユーザ設定が存在します。ユーザ設定を削除してから、PUBLIC オプションを削除してください。