WIP on the sequence integrator to HTML