5.0.2 Released

This is a patch-level update. Several bugs concerning heap memory usage
which may lead to run-time instability are fixed.