https://github.com/Dart-Code/Dart-Code/pull/5746 is neat, ty! Could the notification be improved by either: - adding a progress bar in there (don't think this is possible) - adding a prefix or suffix `current/total` (e.g. `1/30`) counter in the notification?