A one-line user message drew two empty rows of background where pi draws one:
block() added the inter-block blank after the last block too. Upstream guards
every lines.push("") with nextTokenType &&.