38a5ee7d2cc57de671d278a7e16b213b5af06c86  lispref.info-25.gz