ogbox: sourceGithub improved to accept nonquoted names and script names without extension