A last-minute MacBook Air leak mentions color options ahead of WWDC 2022