It's not clear to me from the documentation what a 'user' with regards to the APP_GPIOTE_MAX_USERS define used when calling the APP_GPIOTE_INIT macro.
If I would like to configure all 4 push buttons on the DK51 to trigger different events do I need to call APP_GPIOTE_INIT(4)?