Rename directories, tweak the homepage presentation
Link to Ensimag
Better HTML5 conformance
no <a name=...> (W3C comformance)