HTML5FrontEnd: Fix get_browser() + small improvements