Bob suggests: - If there is a doc before any declarations in the library - and the doc comment is not directly (i.e. without a blank line) before the first declaration. Then we treat that as the doc comment for the library.