Extensions with multiple shared objects

[yrashk]

Technically speaking, an extension may be able to ship and use more than one shared object file simply by referring to other files in the SQL scripts' create function statements.

Now, of course, control files don't support this notion, having a singular module_pathname.

What do you think about this? Should multiple shared objects per extension be considered a valid case at all? If so, should control files support this notion?