Merge branch 'sofia/async-http-data' into sofia/async-http-headers

src/Std/Internal/Http/Data/Request.lean

@@ -83,7 +83,7 @@ Builds an HTTP Request.
 -/
 structure Request.Builder where
   /--
-  The head of the request.
+  The request-line of an HTTP request.
   -/
   line : Head := { method := .get, version := .v11, uri := "*" }
 

src/Std/Internal/Http/Data/Response.lean

@@ -70,7 +70,7 @@ Builds an HTTP Response.
 -/
 structure Response.Builder where
   /--
-  The response status-line information.
+  The start-line of an HTTP request (method, request-target, and version).
   -/
   line : Head := {}