0.10.0 got out before we could mention the giant merge that had happened. There's also a few things in the prelude that were just holdovers from shade. Change-Id: I9966027e42c84f017db3c23c74b24c311273f87a