Before the MP3 spec (MPEG-1 Audio Layer III) was officially released to the public in 1993, it wasn’t impossible to amass a collection of digital audio files on a computer.

The first required you to write Python Sense HAT code to turn Ed and Izzy (the Astro Pi computers) into an MP3 player, so that Tim Peake could plug in his headphones and listen to his music.