Composting Leaves

I picked up leaves several weeks ago from the city of Jacksonville.  Since, I've shredded them a little at a time finishing up today with a big push of 40 or so bags.  Total bags shredded were about 80.  For anyone reading this, leaves are a great amendment to a garden adding nutrients, organic matter, and increases soil tilth.  If leaves are left whole, they take a couple years to compost down.  However, shredded, they break down much faster.  Leaves can be cold or hot composted.  Cold composted leaves are mostly carbon (dried) with little nitrogen added.  From my research, I understand that fungi go to work on cold compost piles and the finished product is often referred to as "Leaf Mold."  If you add a nitrogen source to the dried leaves and it's mixed in, bacteria get fired up and the leaf pile will heat up and you get a hot compost pile which breaks down much faster than the cold compost option.  Benefits and opinions vary widely on the internet which is better.  For me, I want it broken down as quickly as possible so I can use next spring in the garden so I'm adding coffee grounds and other nitrogen sources.  Below is a quick video on the pile I built.  I'll do a follow up on it in the future.