Why no MP3 conversion from Pool?

It would be very handy to be able to convert or export files from the pool as MP3’s . I kept thinking this would become available at some point but here we are at Nuendo 11 and still it’s not an option. If you export an MP3 from mixdown and insert into pool it is a conversion back from the MP3 obviously a loss in quality.