Added highly experimental external API for [un]registering extensions. I hold no responsibility for the effects of this!