Added a bit more explanation for the python modules that aid with symbolication.