I'm trying to wrap my head around HAL_GPIO_EXTI_IRQHandler...Why is only the "Pin" used in the parameter, and not the "Port". Really, why not both?According to en.DM00031020.pdf page 382 section 12.2.5 "External interrupt/event line mapping", it appe...