Did You Know-town is a series of hyper-local trivia bits about the City Beautiful.
Lake Dot, in the early days of Orlando’s history, was known as “the mud hole with the big alligator.”
We would love to know what happened to the gator and what prompted the name change.
Maybe the gator ate Dot.