Update linux/index.html