This MR adds a nav entry for the new Google Play page introduced in gitlab!111621 (merged).
Google Play