Google Summer of Code 2022, Android 13, and more dev news!