Mbox does something similar, but seems to be more robust&#x2F;complete:  <a href="https:&#x2F;&#x2F;pdos.csail.mit.edu&#x2F;archive&#x2F;mbox&#x2F;" rel="nofollow">https:&#x2F;&#x2F;pdos.csail.mit.edu&#x2F;archive&#x2F;mbox&#x2F;</a>