Create theme options page the wordpress suggested way. Gets rid of the HTML5Press menu item in Dashboard, yet keeps the link on the admin bar.