Shorter tabs for html
More python plugins
Changed tagbar and task keys.