Thank you for the prompt answer!
Just got confused by the 0.2.5.2 changelog post that just says "released" on the 24th. This post on the 16th "In testing now on dev servers, if all goes well we should see a official and public release of 0.2.5.2 in about 5-7 days," led me to think the "released" post meant it was out of RC. Thanks again!