<div dir="ltr">@adamChlipala<br clear="all"><div><br></div><div>I can confirm in my end (urweb master) I get a type error when i try to use onload on a <div></div>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div>---</div><div>Fabrice Leal</div></div></div></div></div>