I captured this discussion in a new issue #19.