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

https://www.openstreetmap.org/user/JesseFTW/diary/393709