sorting permissions server-side

I'm in the process of creating a new index format, and I am trying to do as much work as possible in the index generation, rather than in the client, so save CPU cycles on all those devices. One little thing would be sorting the permissions list for each APK in the index file. @dschuermann I have a vague memory of you saying to keep the permissions order as is. Does it make sense to sort?