progress: make progress bar a singleton to avoid double-progress ui bugs
This helps
issue2698 a little, but isn't a complete fix, since
generators still can produce some weird progress bar switching.
keyword: reuse already present working contexts for match
Shortens overlong line as side-effect.