In fact, when I sent them a ticket, they answered me pretty quickly that they were working on the problem and they were aware of this problem. If you are so concerned about this and you are not sure if they know about the problem, then you can send a ticket.