[05:10] <neverblue> how can I change my theme to the default "human" theme, via command line?