The documentation for the pac_enum macro states:
/// The trait name must be one of `ExceptionNumber`, `InterruptNumber`, `PriorityNumber`, or `HartIdNumber`.
/// Marker traits `CoreInterruptNumber` and `ExternalInterruptNumber` cannot be implemented using this macro.
However we see here in the riscv-peripheral crate example this macro being used for ExternalInterruptNumber and additionally svd2rust generates code using this enum for CoreInterruptNumber.
Was hoping to understand if this is simply outdated info in the documentation that should be updated or if there is some other context I am missing. Thank you!