Fix repo url in docs/database.txt