Origins of Paco

I asked the OpenAI ChatGPT what is the origin of the nickname “Paco,” Thus it spake:

“The origin of the nickname Paco is not clear, but it is often considered a short form of the Spanish name Francisco. Francisco is a common Spanish name that is derived from the Latin name Franciscus, which means “Frenchman” or “free man.” The nickname Paco can also be used as a diminutive form of other Spanish names that begin with “Pac,” such as Pacho, Pacolet, or Pacorro. In some cases, Paco may also be used as a nickname for someone with the surname Paco or Pacora.”