Oh, I had gotten this in a bundle already 😅
Ah well, consider it a small tip 🙂
If it’s not too much hassle: I’m doing this myself right now, but a FLAC version with the MP3s’ meta data would have been convenient. If I convert with --best from the WAVs, most of them fit into a bit less than half the original size.