Miles Kruppa / Wall Street Journal:
Google plans to merge Waze’s 500+ employees with the group overseeing Maps, starting on Dec. 9; Waze to remain a stand-alone service and its CEO to exit role — Search giant to keep navigation apps separate — Alphabet Inc.’s GOOG -2.22%decrease; red down pointing triangle Google plans …