added edit_on_github extension