I would be fine with this, but see my (future) reaction to pull request #48.