On 27/12/2019 1:19 AM, berni44 wrote: > I think, this will end up, being a DIP, but before writing the DIP in > all details, I'd like to get some feedback. :-) What do you think about it? Why would this need a DIP? There are no language changes described in your post.