On Saturday, 21 May 2022 at 20:02:22 UTC, Walter Bright wrote: > I try to prioritize them by what is most effective for the most > number of people. Inevitably, some people will find we choose > wrongly. Do you have hard numbers on that? IIRC there's only been one survey done for the community and almost all the most desired features from it aren't implemented.