Patrick Steinhardt <ps@xxxxxx> writes: > In any case, I agree that it probably makes sense to do (2). Unless I'm > mistaken, the only case we need to care about is `--regexp`, because > without all the emitted names would be the same anyway. OK. And we need to fix the "config --get-all" description, which does not need --show-names there, I think. Thanks.