Le 11/11/2017 à 22:46, W. Martin Borgert a écrit : > Please consider packaging the new version. Thanks! Hi Martin, This is unlikely to happen unfortunately, see #803713 for more info. Emmanuel Bourg