Given the shortage of PIs, we're looking at the Radxa Rock 4 series. Could I adapt your RPi.GPIO2 library or add these pin mappings? https://gist.github.com/hughsheehy/252c5a25975aa1abc4bec9d190783ab1