Checking in a few sample html files