Correct phrasing about Redis use of SSPL (it was later!)

dosp-survey.ltx

@@ -458,7 +458,8 @@ The Linux Foundation noted
 that several prominent projects switched away from open-source
 licenses from 2018 to 2023.  Not all of these adopted DOSP licenses\footnote{The
 trend identified by the Linux Foundation began in late 2018, with two
-major database projects, Redis and MongoDB, adopting the Server-Side
+major database projects, Redis and MongoDB, changing their licenses.
+Both eventually ended up adopting the Server-Side
 Public License (SSPL).  SSPL was proposed as an Open Source license,
 but was not ultimately accepted as Open Source by OSI's license review
 process. Some proponents of this license continue to argue that it