Что такое ?

Копался в исходниках .NET Framework и обнаружил непонятные мне комментарии. Что это за теги что они дают и как ими пользоваться?
/// /// /// Provides /// methods and properties /// to manage an application, such as methods to run and quit an application, /// to process Windows messages, and properties to get information about an application. This /// class cannot be inherited. ///

Ответ

Как можно догадаться devdoc означает developer documentation, т.е. комменты для девелоперов.
Тут в пункте 2.4.2 чуть более подробно.