There are many applicable adapters and adapter cables on Amazon, many more than the last time I looked.
One item that is new is an direct male-to-male Mini DisplayPort-to-HDMI cable. Originally the offerings were all Mini DisplayPort male to HDMI female, requiring a separate male-to-male HDMI cable as I described in my first post. Either way should work in principal if properly implemented.
I looked at one that used "Thunderbolt" in the item title. It said in the description that it also works with Mini DisplayPort also, as expected.
I cannot vouch for any specific adapters, though. (My MBP-R has an actual HDMI port, so I just use an HDMI cable.)