Mark cgi_send_user_manual as harmless,