renamed Terminal to Shell
Merge branch 'master' of github.com:kkholst/SuperMan
subheader face placed back again (check git-annotate for which developer is to blame)