Adding an HTML index file, still needs much work