Talk:Mountain Lake Estates Historic District

Title of article?
Is this article about the same thing as this article? Mountain Lake, Florida. Placing a similar note on that article's talk page.Novellasyes (talk) 20:25, 28 May 2023 (UTC)