Am Mo., 31. Aug. 2020 um 18:49 Uhr schrieb Adam Nelson <xxxxxx@nels.onl>:
>
> There probably would have been a niche use for this, and it might be
> more useful than the current _ ... semantics (I don't think there are
> many situations where the current semantics would be useful, I only

In what sense do you think it may be more useful? Because if it really
is, we should standardize the more useful notion.