ST Theme controlled by package manager, too