Vacation rentals in Lane Park

I’m happy to help, but I can’t find an officially incorporated city named Lane Park in Florida, so I don’t want to invent facts. Could you confirm whether Lane Park is a neighborhood, a park, or a nearby city (for example, Pensacola, Destin, etc.)? If you provide the correct location, I’ll craft a precise 2–3 sentence blurb grounded in factual, general information.