As the post say, previously they were using Ogg player and now a complete open source player.