to avoid confusion, remove this SRFI as it is de-facto deprecated by SRFI-41