See my comment. IMO this PR can be rejected and the issue can be closed. It is a enhancement to a deprecated (and strongly recommended against) approach. We should not make improvements that risk regressions (and need to be removed in the close future) to features that are deprecated. On Tue, 15 Oct 2019 at 23:35, Bruno Oliveira <bruno(a)abstractj.org&gt; wrote: