Am 25.11.2017 um 22:13 schrieb Richard Hartmann <richih.mailinglist@gmail.com>:

I strongly agree with the intention and am fine with the proposed solution.

Richard

Sent by mobile; excuse my brevity and the wall of text Gmail appends by default.