Well, since my card doesn't load anymore (on any DS, because the update probably failed) I can only use the second method you've posted, which involves a normal DS, because I need to swap the cards?
I've already read the guide you've quoted, but it didn't quite answer the question whether...