I think this is a case for a post-finalization note, which is a recommendation to implementers placed in the Status section of the SRFI. You can look at SRFI 113 for what they look like if you want to draft one. On this set of facts, I'm reasonably sure Alex and Arthur would accept it.