I often see and hear people call Charlemagne the founder of the Holy Roman Empire, despite him being the founder of the Frankish Empire. Wasn't it Otto the Great who founded the HRE?