change default settings for the github editor
As of 20.10.2019. See апошняя версія.
These are versions of this script where the code was updated. Паказаць усе версіі.
fix broken libraries
