[doc] explain HAL JSON/XML, and default XML serializer