docs: def from_dict(ddict):
          """
          Deserializes a definition from a simple dict.
          """
          d = Definition(ddict['name'], ddict['line'], ddict['column'],
                         ddict['icon'], ddict['description'],
                         ddict['user_data'], ddict['path'])
          for child_dict in ddict['children']:
              d.children.append(Definition.from_dict(child_dict))
          return d