doc: guidelines for library statistics