Add `menu` element to HTML5 display definitions