@ffe0be0d I haven't had to re-launch today (yet), it is running ok since I closed and re-opened the machine.