Update Sat Aug  2 22:05:20 CEST 2014
all:           new: 1632   gone: 1936 =   -304
warning:       new: 393   gone: 639 =   -246
style:         new: 1050   gone: 1075 =   -25
performance:   new: 92   gone: 106 =   -14
portability:   new: 54   gone: 54 =   0
crashes:       new: 0   gone: 0 =   0
varids:        new: 0   gone: 0 =   0
script: slight changes