Global coal supply likely peaked in 2023 and then to decline | Hacker News Reader