40e952c7fc5ee15074e0170b3eee4ae6d124ce52  lispref.info-4.gz