Delete documentation for deleted options.