Re: Should the command-name simplifier be exported? Marc Nieper-Wißkirchen 20 Apr 2020 08:22 UTC