update contacts

Author: vladak

docs/index.html

@@ -187,7 +187,7 @@ <h2><a name="final_assignment">Final Lab Assignment</a></h2>
 <a name="contact"><h2>Contact</h2></a>
 
 <p>
-<tt>vlada at kotalovi dot cz</tt>, <tt>jp at devnull dot cz</tt>
+<tt>vlada at kotalovi dot cz</tt>
 </p>
 
 <a name="schedule"><h2>Schedule</h2></a>