Add misc/triples.html