@adamChlipala I can confirm in my end (urweb master) I get a type error when i try to use onload on a <div> -- --- Fabrice Leal -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://www.impredicative.com/pipermail/ur/attachments/20181024/aec9cb00/attachment.html>