I made a proposal on how to solve this:

PR: #192

@bl0x Very cool, thanks!

The LEDResources, ButtonResources and other similar helpers are intended to simplify a common case when defining resources, and to nudge the board definition file author towards our conventions. They are not in any way required to define LED, button, etc. resources; so for the relatively rare case where a resource with a custom name is needed, they can be expanded in the board definition file.

See also #192 (comment).

The LEDResources, ButtonResources and other similar helpers are intended to simplify a common case when defining resources, and to nudge the board definition file author towards our conventions. They are not in any way required to define LED, button, etc. resources; so for the relatively rare case where a resource with a custom name is needed, they can be expanded in the board definition file.

See also #192 (comment).

Perhaps this can be mentioned in the documentation?

Sure, once there's actual documentation for the board DSL. (This will likely come after the redesign of the board DSL, so...)