- {docs_url: ../../../api/pinocchio/html, location: melodic/symbols/pinocchio.tag,
  package: pinocchio}