Notes on the Hopkins-Miller theorem