In document DM00173145 Rev. 7 (STM32L4+ HAL and Low Layer Drivers) reference manual, there seems to be a section missing on the SD driver interface. There is a section SD Extension driver, but that doesn't have any of the general SD HAL API. Is this ...