Are there plans to support more than WAV files in the stock Audio library sometime soon?

Personally I'm particularly interested in MP3 and AAC. I've been using Frank B's fantastic Audio codec library and deeply admired how it can decode a variety of audio formats with minimal implementation work! Unfortunately (through no fault of its own) it doesn't cover all the functionality that I'm after.

I would love to be able to use similar functions to positionMillis() and togglePlayPause() for other audio formats as my current project hinges on this. However, I'm dimly aware that this would be a whole new level of complexity requiring significant work. It would be great to know whether there's any movement happening in this area, or if I should shelve the project for now.