Man pages matching name sonic-pi in section 1:

sonic-pi.1.en	debian 10 / sonic-pi
sonic-pi.1.en	debian 11 / sonic-pi
sonic-pi.1.en	debian 12 / sonic-pi