Modifications to get the HTML platform working. Maybe not all of these are necessary.