El BOJA incluye de manera oficial a El Puerto de Santa María como municipio de Gran Población: https://www.diariodecadiz.es/elpuerto/BOJA-Puerto-Santa-Maria-Poblacion_0_1890412283.html?utm_source=telegram.com