how do these strings get extracted for localization?