Thank you again. TBH, I started with MCUs long before Arduino and Raspberry Pi and renaming pins may help new people for me it's just confusing with all the different names. I wish they would have just "made" new people learn how ports and pins are defined and how to set the mode and alternate functions of those pins.
PA7 == D11 == A6 == 11
And then sometimes I even see PA_7.
Sorry, I just had to say that!
Back to the A6/A7, did those pins get "defaulted" to A6/A7 just to show that there are more analog input pins available? It just seems a bit odd since those are the default pins used for SPI in Arduino (I believe this is true) so I would have expected to see that definition.
Finally, have I missed some documentation that explains all the pin numbering choices and how you find out which ones are available for each board or do you look at variant.h to find the definitions?