Some local changes to GitHubExerciseSub