What is the meaning of "//! [#]"

I was inspecting some application's source code and I found this:

//! [1]

... some code ...

//! [1]

//! [2]

... some code ....

//! [2]

//! [3]

... some more code ...

//! [3]

What is the meaning of these comments? It appears to me they were wrotten just to split the code in "sections", much like the #region and #endregion in C#.

But do they have an inner meaning besides that? Are these comments processed by the compiler?