The HTML frontend for Optimizer.