Various notes and remarks which have no better place.
All input pins can be designated as interrupt pins. But there are some dedicated hardware interrupt pins that could also be used. Not sure if one has an advantage over the other. able (we measured it). How exactly it is defined remains a mystery.