Removed HAL browser, Minor renaming