This is a WORK IN PROGRESS directory.  There was an error in the program which
extracted these files from the tape, such that there is a spurious 0xff character
in all files every 4K bytes.  Also trailing ^D end of file markers have not been
removed.  This will be corrected in a later release.  meanwhile the small code
segment below will make a half-hearted attempt at patching up any files you need
to actually use:

#include <stdio.h>
int main(int argc, char **argv)
{
  int pos = 0;
  FILE *f = fopen(argv[1], "rb"), *o = fopen(argv[2], "wb");
  if ((f == NULL) || (o == NULL)) exit(1);
  for (;;) {
    int c = fgetc(f);
    if (c == EOF) break;
    if ((c == 0xff) && ((pos & 0x7ff) == 0)) fprintf(stderr, "%06x\n", pos);
    else fputc(c, o);
    pos += 1;
  }
}