Rename top-level html file to something reasonable.