Agreed.  

On Thu, Nov 11, 2021 at 3:00 PM Arthur A. Gleckler <xxxxxx@speechcode.com> wrote:
On Thu, Nov 11, 2021 at 11:29 AM John Cowan <xxxxxx@ccil.org> wrote:
 
4.  Add a PFN to the other three SRFIs deprecating their binary-search functions in favor of the corresponding SRFI 223 libraries. 

#1-#3 sound good.  #4 would require agreement by the corresponding SRFI authors.