Correct name of searchcode-server (as used on GitHub)

dosp-survey.ltx

@@ -379,7 +379,7 @@ Boyter proposed a ``GPL time bomb" (later renamed to simply
 AUG specifying a limited number of users within an
 organization.\footnote{See
 \otsurl{https://boyter.org/2016/08/gpl-time-bomb-interesting-approach-foss-licensing/}.}
-This approach was used for Boyter's ``searchcode" project\footnote{See
+This approach was used for Boyter's ``searchcode-server" project\footnote{See
 \otsurl{https://www.searchcode.com/}.}, but no new development has
 taken place on this codebase since 2020, so it should now be licensed
 under GPL v3.