Minor adjustments

debuginfod-us.org

@@ -7,7 +7,7 @@
 #+LaTeX_HEADER: \lstset{basicstyle=\footnotesize\ttfamily}
 
 * What is =debuginfod=?
-- Relatively young (@@latex:$\sim$@@2019) project started by Red Hat.
+- Started by Red Hat in 2019.
 - It @@latex:\emph{@@"is a client/server [...] that automatically
   distributes =ELF= / =DWARF= / source-code from servers to clients
   such as debuggers across HTTP"@@latex:}@@.
@@ -17,7 +17,7 @@
 * How does it work?
 - There's a =debuginfod= server (e.g., at
   https://debuginfod.ubuntu.com) that indexes all available debuginfo
-  from several supported Ubuntu releases.
+  from supported Ubuntu releases.
 #+BEAMER: \pause
 - Debugger-like tools (e.g., =GDB=) link against
  =libdebuginfod=, which provides the client support.