Use english source names in index-en.html