I appreciate that you did — I had read the discussions before, but didn't have their detailed contents front of mind when I made this edit (I guess I just internalized back then that there was a general consensus to drop "none").

I have now commented in two of the discussions (in GitHub and in the wiki talk page) in the hopes of pushing the needle so that we finally get to a decision :)