Rename Linux.html to linux.html