Typed keys are mostly meant for things not in wings.json at the moment, though with how the search works, it ends up being needed even for some stuff included in it. However we don't want it limited to just things contained in wings.json.Wouldn't it not download if he didn't type it in correctly though? Or does it through the error only at the end?
Maybe you could do some sort of check against wings.json to make sure it's correctly typed in?
If you're having trouble finding something using the search feature though (And you know it's on that nfshost site), I'd recommend copying the titleid/titlekey into input.txt and using that method, instead of trying to manually type it on the keyboard. You can use an FTP server to transfer input.txt if you don't want to take your SD card out.