change default settings for the github editor
As of 22.10.2019. See ბოლო ვერსია.
These are versions of this script where the code was updated. Show all versions.
fix broken libraries
