Looks like @zdenek hasn't received any replies!