Updated Nokia 7.1 to Android Pie when it became available earlier today. Very different in some respects.
Searching