@Martin Ah, to respond to this old message: I don't know how to automate any of this, so it's all "by hand". Perhaps I should spend some time to learn to use such tools, one of these days... :)

@TheAmplitwist This is now handled, as per the usual definition of "handled".