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

https://map.bnnd.eu.org/user/JesseFTW/diary/393709