> For the future, this kind of issues should discussed on the packaged > instead on the ML. For things that important, I would support Leif about reporting it to the ML. Especially given how little github issues/PRs seem to be read in the first place. Sylvain