There is a whole lot of redundancy and never used words/terms/phrases in there that could easily be pruned out. If they want I'm sure they can.