Ogg Vorbis exporting as .oga instead of .ogg

Hello, I was hoping the bakers could chime in on this. I write game soundtracks, so when I saw that the new update included exporting audio as Ogg Vorbis files I was thrilled, but the files are exporting with ".oga" rather than ".ogg". The game software the team is using needs ".ogg" files. I can simply rename every file, so it's not that big a deal, but it is one extra step that seems unnecessary. Why was this extension used as opposed to ".ogg"?