Documentation

Cairo has nondeterministic output, since it seems to generate its running IDs from some shared counter. This remedies that by renumbering all offending fields by time of occurrence in the file.