Release 0.9.3; many bugfixes.