Leo, Leo Famulari wrote on 05/09/17 at 19:13: > This gigantic patch LGTM :) Thanks! Pushed. Kind regards, T G-R