[Roby31]

They already know; anyway the ways to contact them are simply sending a mail to their user support or writing in their official forum (which also has a thread for TIOS4 with users that are reporting bugs)