For most people, MiniDisc is just one of countless media formats that became obsolete when music went online ... the tidy compactness of those portable players. [Daniel Rojas] cleverly solved ...