In reply to a tweet by Natim:@Natim `color-theme-hober2' is much more extensive than my previous theme: http://bit.ly/qbSYv