Knowledge Base repository for KMDoc