Translations:Extension:TitleKey/4/en

It uses a separate table for the keys, so it can be deployed without an expensive rebuild of core tables, and uninstalled later in preference for a different search extension such as $1.