On Sat, Jan 12, 2019 at 08:34:37AM +0900, Michael Paquier wrote:
> Then the extension is showing up as beginning to be present for other
> users. I am mainly wondering if this case has actually been thought
> about in the past or discussed, and what to do about that and if we
> need to do something.
The point here is about the visibility in \dx.
--
Michael
