Why the coastlines on Carto haven't been updated since January 2020 (update: fixed for now!)

Update! As of July 25 – joto did the manual override! So the problem is resolved, at least for now. We still need to deal with the “but MY bay isn...