HomeSoftware Heritage

server: benchmark: point to specific section in docs URL