New version number is 0.8.10 now.