The files ending in "_text" are smaller than the ones not ending so and is
text searchable. Unfortunately the visual quality is also much worse. Therefore
both are made available here. Both were from archive.org, other issues are
not yet found.