Hi Petr,

Do you think we can find a nickname for the bug ?