index.html: add F10 to publications list

Signed-off-by: Daniel Halperin <dhalperi@cs.washington.edu>