docs: def get_lines(self, key):
          """Return header lines having the given ``key`` as their type"""
          if key in self._indices:
              return self._indices[key].values()
          else:
              return []