Teddy: How to "encode" ogg files (without extra loss)?

[steve8x8]

The subject says it all.

The rationale behind it: Nowadays it's not necessary to convert ogg to mp3 to listen to it; thus Teddy should be able to handle ogg input files (e.g., ones obtained from previous "decode" steps) as well, and just skip the encoding step.

Would it also be possible to mix ogg and mp3 input?

[steve8x8]

Um... Using the source (and git history) I found that commit 2115154 (Mar 5, 2022) seems to address this; there apparently was no subsequent build of Teddy.exe anymore (mine is dated Nov 3, 2020), and this feature only made it into recent TeddyBench.exe builds (1.4.x).

For the sake of command line enthusiasts, could a future release come with Teddy.exe, built from the latest source, please?