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