I should also check if there's an official Spanish version of the app. If it's Google Drive, then the app is available in Spanish through the Play Store, and installation is straightforward. But if it's a different app, maybe "Gravity Files" isn't available in Spanish. Maybe the user heard about it in Spanish and is assuming it's available in that language.