Add an HTML file where JavaScript changes text color

I wanted this for testing incremental layout, but it's also useful to
illustrate a bug I just found.