Recently I was updating my project to work with Debian 12, released in May. I had to update my devicetree overlay in order to get it to work with libgpiod.
After getting it work, soon came out the Debian 13 release.
But now, trying to get the state of any of the IO pins returns:
$ gpioget gpiochip3 20
gpioget: cannot find line 'gpiochip3'
gpioget: cannot find line '20'
even though gpioinfo and gpiodetect list them all.