Jakarta stock exchange floor collapsed

I thought it was interesting as I recalled from another article a few weeks ago that the city is sinking. Maybe the 2 are related?

https://news.ycombinator.com/item?id=15995399