Menu is no longer deprecated in HTML5. Closes #23