Dolphin 4.0.2 has been released! Read the announcement on our official website, and comment on the appropriate forum thread