DoorDash appears to still be pocketing some workers’ tips despite announcing changes to its pay model in July