> There's also a licensing issue which is that pgAdmin is GPL,
> while we're trying to make sure that all contrib modules are
> licensed the same as the core server.
No, pgAdmin is Artistic License, not GPL.
Still not BSD, tough, so the argument still holds even if the difference
isn't as big.
//Magnus