Sorry, I don't mean to bother you. But I made one more - and actually important - mistake. I tested my changed script with bash, and not dash. dash doesn't seem to support process substitution, so the attached diff does unfortunately not work as is.
If you were to adopt my fix, the shebang would also need to be changed to bash. And that makes the fix actually a bit less simple. Hence, I would understand if you would prefer not to adopt my proposed fix, even though I hope that the issue itself will somehow be addressed eventually. Thanks!
