On 09/09/2026 10:04, cca5507 wrote: > I think we just need to avoid doing something like this: different libraries > with the same name.
As a general rule I totally agree with you. I just wonder if it should be possible in the first place. My point is that we could be trading server guarantee for admin discipline. > The behavior of "local_preload_libraries" also like this. So I think it's > ok if we document the auto expand of "$libdir/plugins/" clearly. Fair enough. Thanks! Best, Jim
