See also the red line boundary of https://www.mansfield.gov.uk/downloads/file/337/designating-local-green-space-technical-paper-2015 page 33 (or 35 of the .pdf) which is the boundary of the Spa Ponds site specified by Mansfield District Council as per of the designation of the site as a Local Green Space. See also note #1781469.