3.0.2

 We should release 3.0.2 during June, as I don't plan to do anything
like that during July. Even June weekends seem rather busy already, so
I'm not entirely sure how I'll schedule this. It's going to be one of
the weekends 2 - 4 weeks from now (earliest: 10.6 - 12.6, latest: 23.6
- 26.6 (i.e. long midsummer weekend))

 I've pushed my last planned string changes for 3.0.2 earlier today. I
don't speak for others, and in any case we are not in formal string
freeze, but I think it's quite likely that there will be no further
string changes (I've actually already postponed some after 3.0.2).


 - ML