I would be nice to have a library that generates tones inside the pico-extras.

A lot of people is familiar with the tone() function from Arduino which simplifies a lot the process of including a speaker or buzzer in your projects.