Release commit: move 4.0.2 to release repo