<div dir="ltr">Can not reproduce this segfault after reboot today.<br></div>