Some scripts in dist/ could benefit from using parallel execution for processing their set of files.
The scripts that already do so, can be simplified by introducing a common mechanism for that.
It would also make it easier to maintain and less error prone.