Ah, the missing mines description. We know about that and it's fixed in our internal build, but thanks for reporting !