Closed justincely closed 8 months ago
Elide isn't a misspelling of exclude, it was chosen deliberately 😇
While technically correct (and I love a new word!) given 154 million google hits for "exclude command line options" and ~3 orders of magnitude less with 416 thousand for "elide command line options", we might want to use the one closer to common parlance ;)
hah! @peterbourgon ty for educating me today ❤️
...Not gonna disagree with a move to common parlance though :)
Minor spelling correction.