removed user_manual_html - now redundant