Docstrings are skipped for `spec module {}` functions

[mkurnikov]

module 0x1::m {
    spec module {
        /// my spec inline function
        fun eq();
    }
}

/// my spec inline function will be ignored in the docs.