Update pics-programmers.html