I know you said file size is not really a consideration, but I’d go with FLAC. It produces smaller files but has the same quality as WAV (there’s no loss when converting between WAV and FLAC). Also, FLAC can store metadata (track name, artist name, album name, etc.), while WAV cannot.
Thank you for your suggestions. I had never before tried FLAC. I tested it and it produces a dull/flat sound in my JVC car stereo.
MP3 with Waxycilinder’s settings sounds much better.
In the meantime I found out that the Firefox and Librewolf browsers are able to save an AAC stream as an AAC file directly. No digital > analogue conversion before recording. The AAC file can be converted to MP3 easily.
I had never before tried FLAC. I tested it and it produces a dull/flat sound in my JVC car stereo.
FLAC is lossless. It doesn’t change the sound. (WAV is also lossless).*
MP3, AAC, and WMA are lossy. Theoretically, it’s possible that MP3 is changing the sound in a way that you like it better, but at 256kbps it’s unlikely that you’ll get any audible artifacts.
You can make a low-quality WAV or FLAC by using a low bit-depth or a low sample rate. But for example, when you rip a CD to FLAC you normally get the same 16-bit, 44.1kHz format as the original CD so when it’s decompressed you get the same-identical audio data as the CD.