How much Bitcoin comes from dirty coal? | Hacker News Reader