<p>
A datafile is a plain text file whose content is split into a number of
records. Records are separated by tag strings $emph"\n:"$emphend (a new-line
character immediately followed by `:'). Lines before the first tag string
are treated as comments.
</p>
