(I've updated the page at https://docs.protomaps.com/basemaps/downloads)