release-20.5
* SaveAll in the editor now also saves preferences etc. * aidlt files are now sorted, to yield stable results