I was going to suggest that you submit this issue as a bug on their github tracker, but see that you already did 
. I guess one man’s bug is another’s feature request 
1 Like
I was going to suggest that you submit this issue as a bug on their github tracker, but see that you already did . I guess one man’s bug is another’s feature request