ctxextensions should be merged because we need to keep Ubuntu packaging, which is based on xpi.mk script, provided by mozilla-devscripts package
ctxextensions should be merged because we need to keep Ubuntu packaging, which is based on xpi.mk script, provided by mozilla-devscripts package