improvements to clarify local vs. github editing