#386: Add a button to theme picker page to install more themes.