On Sun, Oct 30, 2022 at 07:45:39AM +0100, Gerd Möllmann wrote: > Since Richard is swamped with mails, I'd like to try and ask some > questions here. I had similar feelings about shorthands vs. (module) name spaces. I just couldn't figure out whether this was due to habituation or whether I was feeling a "real" problem Cheers -- t