Sonic Pi workshop, teaching community members how to make their own music through coding on the Raspberry Pi