Trying to understand the GitHub editor