We have informed the community manager about this issue. He should get back to us with an answer soon.