Licensing stuff and polishing index.html