Release 10.2.

Mostly bugfixes. Consult debian/changelog for release details.