remove solarized-theme, which was renamed; update a few other settings