For example, this page: :01:002:0916?from=search

The map on this website is built using Leaflet.js, and it displays the area boundaries. Is there a way to extract or generate a Shapefile (SHP) from this data? Any guidance on tools, scripts that could help achieve this would be greatly appreciated.