Rename "DTH headers"
The following discussion from !103 should be addressed:
-
@rardino started a discussion: (+1 comment) Perhaps for @pzejdl, do you have a more specific name to suggest? It's not fully true that they are DTH headers, since the format and their content is different from the one of DTH, specified here