docs: tying the list of authors to one of the iris papers is rather silly

docs/iris.tex

@@ -18,14 +18,7 @@
 \begin{document}
 
 \title{\bfseries The Iris Documentation}
-
-%FIXME any better way to do this?
-\author{%
- Ralf Jung \\ MPI-SWS \\ jung@mpi-sws.org \and
- Robbert Krebbers \\ Aarhus University \\ robbert@cs.au.dk \and
- Lars Birkedal \\ Aarhus University \\ birkedal@cs.au.dk \and
- Derek Dreyer \\ MPI-SWS \\ dreyer@mpi-sws.org}
-
+\author{The Iris Team}
 \maketitle
 
 \thispagestyle{empty}