Как удалить документацию «Библиотека iOs 4.2» в XCode 4

Привет. Для моего XCode 4.0.1 скачано много документации. У меня есть

• Библиотека iOS 4.2
• Библиотека iOS 4.3
• Базовая библиотека Mac OS X 10.6
• Устаревшая библиотека Mac OS X (удалена)
• Библиотека разработчика Xcode 4.0

Я хочу удалить библиотеку 4.2 потому что он старый. Но знак «минус» и «Удалить ленту документации» тоже отключены. Итак, другого способа удалить его нет.

Кто-то знает, как это сделать?