html.streams: this was actually simpler.