I'm wondering if it might be a good idea to add an option to log progress to the title of an (ANSI) terminal.

Indeed, we can write to a ANSI terminal with '\033]0;15%\7', and then 15% appears at the title of that terminal.

I use such "trick" for some of my own programs to track the progress/status of a program I run in the background, for example if you convert a bunch of files, you use a different tab to continue working, but so the UI still shows the title of the other tab page, and thus you are kept informed about the progress.

I think the changes are rather small, and we can, to some extent, reuse the rendering of the progress bar, except that we probably should limit the number of characters. But before making much change, I first want to ask if this looks like a good idea?