Pavel Stehule <pavel.stehule@gmail.com> writes:
> čt 7. 4. 2022 v 19:04 odesílatel David G. Johnston <
> david.g.johnston@gmail.com> napsal:
>> \dconfig[+] gets my vote. I was going to say "conf" just isn't common
>> jargon to say or write; but the one place it is - file extensions - is
>> relevant and common. But still, I would go with the non-jargon form.
> dconfig is better, because google can be confused - dconf is known project
> https://en.wikipedia.org/wiki/Dconf
Looks like the consensus has shifted to \dconfig. I'll do it like that.
regards, tom lane
