Update srfi-135x.html #23

Closed johnwcowan closed 2 years ago