Merge branch 'sofia/async-http-h1' into sofia/async-http-server

src/Std/Internal/Http/Protocol/H1.lean

@@ -748,7 +748,7 @@ private def writeHead (messageHead : Message.Head dir.swap) (machine : Machine d
 
   -- Add identity header based on direction
   let headers :=
-    let identityOpt := machine.config.serverName
+    let identityOpt := machine.config.agentName
     match dir, identityOpt with
     | .receiving, some server => headers.insert Header.Name.server server
     | .sending, some userAgent => headers.insert Header.Name.userAgent userAgent

src/Std/Internal/Http/Protocol/H1/Config.lean

@@ -55,7 +55,7 @@ structure Config where
   `User-Agent` header value injected into outgoing requests (sending mode).
   `none` suppresses the header entirely.
   -/
-  serverName : Option Header.Value := none
+  agentName : Option Header.Value := none
 
   /--
   Maximum length of request URI (default: 8192 bytes).