On 11/01/2020 3:43 AM, berni44 wrote: > On Friday, 10 January 2020 at 14:21:44 UTC, rikki cattermole wrote: >> This should have a vote and then yes we can deprecate it. > > How to start a vote? Start a new thread, its not an official process. It gives a chance for people to give a compelling reason not to split it out and gets people on board.