Back in 2016, Boldport designed Raspberry Pi IO shims for a Pi launch... did you get one of those?
You may have a chance to get one now... and it's still usable with the Raspberry Pi 4
No, but it looks like the fix to what other SBC boards did for labeling GPIO pins. I am game...