Yes, that's right. The default index.html is just a placeholder until the real files have been uploaded.
