I'd like to make GMP 5.0.2 before summer breaks out. If some developer wants to move more changes from the head repo to the gmp 5.0 repo, this would be a good time to do it. -- Torbjörn