Android 17 has useful changes, but when the best everyday update is a Quick Settings button that finally makes sense again, the annual version number starts looking pretty hollow.