Append an additional extension?

Reviving this thread again.

The lack of appropriate stdlib function has caused a bug for us so there's very much a need for add_extension or push_extension. It's causing real headaches.

There's now been quite a popular discussion with 1.6k views - which has unfortunately been closed due to being stale. What's the next step?