[bug#29509] [PATCH 1/6] progress: Factorize erase-in-line.

[Danny Milosavljevic]

> +(define (erase-in-line port)
> +  "Write an ANSI erase-in-line sequence to PORT to erase the whole line and
> +move the cursor to the beginning of the line."
> +  (display "\r\x1b[K" port))
> +

Hmm, with the "\r" in front it's more like erase-current-line, no? (f.e. the 
order is different: move the cursor to the beginning of the line and then erase 
the rest of the line - which then means: whole line)

Otherwise LGTM!