Talk:Mountain Lake, Florida

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