Actually, I just check the status of the ticket, and it's closed. I had since then added a related question to the ticket, I did not want to start another ticket for a related problem; before, I had the option to reopen, I guess that's disabled. Could you please reopen the ticket? Thanks.
Seine.