updated doc: HAL-Browser