Google released, on 3 September 2019, the new version of its mobile operating system, Android 10, for now only available for selected smartphones. This update, “powered by on-device machine learning”, includes new features, among which are the dark theme,...