On Thu, 15 Apr 2021, Michael Stone wrote:
I think it's a heck of a lot easier to add short options than it is to remove them, and that there are more ideas for things to do than there are letters. I'm on the side of make it a long option. In a few years if it's a commonly used thing with a groundswell of demand for a short option, it can always be added. There are a lot of existing short options that aren't used very often, are redundant, or are simply confusing, and it would be really nice (but impossible) to have those letters back. Continuing the tradition of burning short options by default just makes the hole deeper.
That makes sense! Thanks for the feedback, I appreciate the discussion. Carl
