BUR #8840 has been approved by @Hillside_Moose.
create alias hot_cocoa -> hot_chocolate
Okay, I guess technically they're different drinks, but you can't tell the difference visually. Only two posts are tagged hot cocoa right now, but the fact that two people used that tag instead of jumping to hot chocolate makes me think we should just alias the two.