Prettier and abbreviated newsgroup headers