New Plugin – ExternalNotificationPlugin

I am a little confused.

The NotificationPlugin.md states

ext_notification_plugin_output
What GPIO is your external circuit attached?

GPIO of the output. (Default = 13)

But according to another thread GPIO 13 is used as a button to cycle through displays. Do we have a spot where we could start mapping GPIOs to some predetermined IOs. Obviously we are able to change them in code, but if we knew that GPIO13 was to cycle screens, GPIO15 is a notification LED etc we can solder according to docs and not have to change settings on firmware updates.