@ingorichter Got it.  I'll make that change in the next pull request targeted at `release`.