Changed the info text in the Dev Tools setup UI. The list of search paths is probably a mass of uninteresting text for most people -- it was mostly for me, and it wasn't all that helpful. Now displaying the actual SDK and docset paths that AppKiDo believes the user has selected.