Ok, I'm home! It's EasyHDR, it's free for the basic version, you have to pay if you want extra editing functions.
I had a fun time trying out some HDR stuff on my trip, although I didn't take a tripod (it was just a 3 night Anniversary trip, didn't want to lug too much) but at 4am when you cannot sleep and you are at Animal Kingdom Lodge, it doesn't matter, you can just borrow a chair or lay on the floor!