A portion of the Mirror Lake neighborhood in downtown St. Pete may soon become a local historic district, adding a layer of protection to properties within the neighborhood. A citizen-initiated application was submitted to the City of St. Petersburg on June 14th, asking the city to consider designating nearly 21 acres around Mirror Lake as a local historic district to preserve its pedestrian-friendly, low-rise character amid a wave of new development.