Add note that world docs are based on HtDP docs.