Вопрос наверняка обсуждался, но найти нереально, подниму тему ещё раз. Почему в качестве формата выбран mp3 (=с потерей данных)? Его нынешняя популярность и относительно малый размер файла несущественны с учётом того, что коллекция создаётся на века. Тем более, что ничто не мешает хранить одновременно и lossless, и mp3.

Есть ли какие-то разумные обоснования или всё сложилось так исторически? Если второе, то, может, пора менять?

Им всё равно придётся перекодировать в mp3. Плеер-то формат lossless не проигрывает!