How to upload HEX files to Arduino Uno

This tutorial is for the particular case of Arduino 1.0.2 IDE

Why? Even the people hesitating on all the new features are likely to be running at least 1.0.6 (the "last" 1.0.x release.)