Python3 HAL support - includes web HAL generators and extended navigation support base on HALNavigator for python