you seem to already have found a solution, but has your friend tried remaking the bookmarks? i have a 3ds at 8.0.0-18 and it's pretty finicky with ram dumping and i remember when making my bookmarks i had to try about 5 times before it worked, so it could be same for your friend.
if they get permission from 4j (the studio who helped put minecraft on consoles), they could put the console edition tutorial worlds in the game, as seeds
and i mean all of them (if not, maybe a few highlights, like TU1, TU31, and TU69)