Some more menu-manager refinements
Theme downloading fixes and Theme info GUI fixes. jQuery cache fix.
More Theme-Manager GUI Tweaks