Sorry for the late answer. Please understand that Rolf and I are doing this in our spare time.
The bug is fixed in the new 4.2 release (a preview is available).
Frederik
This archive was generated by hypermail 2b29 : 09/04/20-12:55:05 AM Z CEST