Yes so it seems. And thank you for the extra link!
Can I ask a question while you're arround - my o3DS doesn't seem to like rxtools 3.0 so I'm using 2.5.2, however, when I try to enter dev mode (I want to update to 9.2) it simply freezes/crashes the console with a black screen. Do you know of a...