I mean, is that super necessary? I also upgraded to 9.4, before I started getting interested in the 3DS flashcart scene. So at the time, I was just doing the mandatory updates to get into the eshop, etc and now I am interested in a flashcart. It's not as though what you're saying will help him...