Use HTTPS for documentation links to Maven Central
Add download link for benchmark-driver
Use direct references to top-level documents
Remove duplicate function documentation
Improve documentation for map_agg