The "Getting started with Raspberry Pi Pico" guide states in chapter 2:
The following instructions assume that you are using a Raspberry Pi Pico and some details may differ if you are using a different RP2040-based board. They also assume you are using Raspberry Pi OS running on a Raspberry Pi 4, or an equivalent Debian-based Linux distribution running on another platform.
I won't be using a RPi4 as development platform. So the choice falls on an "equivalent" Debian-based distro. What do they mean with "equivalent"? Can I choose any Debian-based distribution to set up the RPi development toolchain, or should I choose a specific one?
Edit to make it clear that I'm not asking for opinions on which Debian-based distributions are the best, or anything like that.