As mentioned, the release codenames are those of minor planets. It was how the Devuan people chose to synchronize with "Jessie" when they forked, since there i

As mentioned, the release codenames are those of minor planets. It was how the Devuan people chose to synchronize with "Jessie" when they forked, since there is an asteroid (discovered in 1979) with the same name as the Toy Story character, and then branch onto a new naming system. * https://ssd.jpl.nasa.gov/sbdb.cgi?sstr=2003568 https://ssd.jpl.nasa.gov/sbdb.cgi?sstr=2003568 * https://ssd.jpl.nasa.gov/sbdb.cgi?sstr=10464 https://ssd.jpl.nasa.gov/sbdb.cgi?sstr=10464 * https://devuan.org/os/releases https://devuan.org/os/releases