I still need a bit more time for a proper review of this pull request. After a quick look, there are couple of aspect I want to improve, so I may follow up here with the comments or push another variant directly.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.