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?