Rename moka_platform.html in moka.html