<df> has been erroneously typed as <def> (21 occurrences across 3 versions of ms text as of this comment)
All instances of the the "internal definition" tag should be <df>
See also #108 for editorial work concerning consistency and use of this tag.