The copyright of all the HTML/CSS/JavaScript files in this directory
is owned by INRIA.