Fix a few typos

dosp-survey.ltx

@@ -52,7 +52,7 @@ license.\footnote{Note that this definition of DOSP deliberately does
   releases of formerly proprietary code.  For example, the 1998
   release of the Netscape Navigator source code, which through further
   development eventually became Mozilla Firefox, is \emph{not} an
-  example of DOSP.  This report is examines the history and effects of
+  example of DOSP.  This report examines the history and effects of
   DOSP practiced as a conscious strategy; the effect of unplanned or
   unpredicted Open Source publication is also an interesting topic,
   but a separate one.}
@@ -387,7 +387,7 @@ code.  Or release their code under non-Open Source license, including
 by not explicitly specifying a license.  They might only release
 binaries or release nothing.  In short, these projects range from
 wholly, traditionally proprietary in nature to public collaborations
-that stop just short of a Open Source license.
+that stop just short of an Open Source license.
 
 Usually, these projects explain that they plan to become open, explain
 why it hasn't happened yet, and describe (sometimes vaguely) the
@@ -631,7 +631,7 @@ ReadySet & 2022-08-03 & rel. +4 years & Apache v2 \\
 Akka & 2022-09-07 & rel. +3 years & Apache v2 \\
  & \multicolumn{3}{l}{{\footnotesize (\otsurl{https://www.lightbend.com/blog/why-we-are-changing-the-license-for-akka})}} \vspace{0.2em} \\
 
-CodeCov & 2023-08-02 & rel. +3 years & Apache v2 \\
+Codecov & 2023-08-02 & rel. +3 years & Apache v2 \\
  & \multicolumn{3}{l}{{\footnotesize (\otsurl{https://about.codecov.io/blog/codecov-is-now-open-source})}} \vspace{0.2em} \\
 
 Terraform (etc.)\footnote{``HashiCorp Terraform, Packer, Vault, Boundary, Consul, Nomad, Waypoint, and Vagrant'' are identified as relicensed by \otsurl{https://www.hashicorp.com/license-faq}.} & 2023-08-10 & rel. +4 years & MPL 2.0 \\