Edits history of script submission #137 for ' Search labels (github)'