This is a follow-up to this post on the Decomposition Theorem. Hopefully, this will also invite some discussion about the theorem and perverse sheaves in general.

My question is how does one use the Decomposition Theorem in practice? Is there any way to pin down the subvarieties and local systems that appear in the decomposition. For example, how do you compute intesection homology complexes using this theorem? Does anyone have a link to a source with worked out examples?

Another related question: What is the deep part of the theorem? Is it the fact that the pushforward of a perverse sheaf is isomorphic to its perverse hypercohomology? Is it the fact that these pieces are semisimple? Or are these both hard statements? And what is so special about algebraic varieties?