Shall we withdraw this SRFI, or is it ready for finalization?