correct, iirc it’s from absurd quantities of cyanobacteria in the oceans around when life got started.

Trees turned into coal, specifically trees from before fungi had evolved to decompose the wood, so it was able to just accumulate.