Well FunKii is command based, unless you get the GUI for it. uTikDownloader now shows you what will work online on RedNAND by displaying those items in
RED text, minus the ones that say DLC which also only works on RedNAND. You can chose not to download the DLC though. Both those options will download the modified ticket so that you can just install them to USB on your WiiU. I use them both without any real preference. I just use which ever I click on at the time. Both great options. I do not use the other 2 you mentioned though.