Jeff Frost <jeff(at)pgexperts(dot)com> writes:
> On Jul 18, 2013, at 11:47 AM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
>> I see no bug here. This is not different from any other
>> property-alteration you might do on an extension member object.
>> We allow that (if you have privileges), but it's up to you to keep it
>> in sync with the extension definition file.
> So, perhaps we could warn users on extension property alterations?
Hm, I had thought there already was such a discussion in the docs,
but I can't find it now. Do you want to draft some text?
regards, tom lane