let doc_sources = "Documentation sources"