This patch updates a few of the gui/credits/texts/*.json files:
- The following persons are inserted under balancing:
- The balancing and history “heads” are merged with their lists. While they probably were important years ago, nowadays these heads are shining through their absence, and listing them separately is not reflective of the current situation. Besides, there is a special.json credits file for special thanks.
If anyone else is missing, please let me know!