Hi @myklemykle.
That is for the application itself. It doesn't (and can't) apply to the tool dependencies of the various boards platforms that might be used in combination with the IDE.
Arduino boards platforms may specify tool dependencies. The Arduino IDE Boards Manager installs these tools in addition to the platform.
The latter. It is specified as a dependency by the "Raspberry Pi Pico/RP2040" boards platform from Earle F. Philhower, III. The tool distribution is also provided by Earle Philhower.