Move the extension to the community pool

The extension was written in the local code pool, but it belongs to the
community pool.