Pulling from source: update for ST4 and Linux fix#12

KHipkiss wants to merge 1 commit intoihdavids:masterihdavids/orgextended_docs:masterfrom

KHipkiss:pulling-from-source-updatesKHipkiss/orgextended_docs:pulling-from-source-updatesCopy head branch name to clipboard