Migrated Google Mini extension docs.