On 10.11.2020 10:55, matthew green wrote: > at this point the right thing is to revert, and then proceed > with the discussion. if you can convince people that your > idea is of merit, you can put it back in, but right now that > is quite clearly not a shared sentiment. OK.