Android P: Launch date, options and all the things it's worthwhile to learn about Google's subsequent working system