It's not only July and August; January, May, June, and Mars, are named after Roman gods; February and April after Roman rituals; and September to December after Roman numerals (7 to 10th month, as they were when the calendar first started).

Yup exactly :) I named July/August for the connection to real people, but yeah it’s pretty much all around us.