Update coq-team.html

Author: proux01

pages/coq-team.html

@@ -199,7 +199,7 @@
     <div class="picture"><img src="/files/team/silene.jpg" alt="Guillaume Melquiond" width="150"/></div>
     <div class="name"><a href="https://www.lri.fr/~melquion/">Guillaume Melquiond</a></div><div class="nickname">silene</div>
     <div class="position">Inria Researcher in the Toccata Team, Saclay, France</div>
-    <div class="role">RM: 8.9, 8.14</div>
+    <div class="role">RM: 8.9, 8.14, 8.20</div>
     <div class="components">General Maintenance, <code>vm_compute</code>, opam, Reals, Coquelicot, Flocq</div>
   </div>
   <div class="person">
@@ -217,6 +217,7 @@
     <div class="name"><a href="https://www.onera.fr/fr/staff/pierre-roux">Pierre Roux</a></div>
     <div class="nickname">proux01</div>
     <div class="position">Researcher at Onera, Toulouse, France</div>
+    <div class="role">RM: 8.20</div>
     <div class="components">Primitive Types, Notations</div>
   </div>
   <div class="person">