first commit with platform as a git submodule, under html/