Maintenance release 1.0.2 is ready. It contains one crash fix and several small improvements.