Good. I think that's been true all along. Thanks for confirming! On 10/24/18 5:35 PM, Fabrice Leal wrote: > @adamChlipala > > I can confirm in my end (urweb master) I get a type error when i try > to use onload on a <div>