Android 15 may bring a couple of useful tweaks to screen recording and screen casting