hi! not discouraging other responses, but FYI, there was a brief response to this in an old post

Why is the name Charlemagne still used for Charles the Great?