I think GrapheneOS should rename Google Play Services to Google Mobile Services (in OS itself, on GrapheneOS website, and everywhere else it can) because:
- Google Mobile Services (abbreviated as GMS in package names) is the correct term
- Google Play Services is often misread and/or misinterpreted as Google Play Store