Move extension to separate repository.

(See revision D7146.)