Once https://github.com/source-academy/sicp/issues/989 is resolved, we can retire the languages Source §x Lazy including their documentation.