Yes Martin, I'm sorry, my local and remote repository are a bit messed up right now. I was trying to get the few files I've changed out of the door and then refork and reclone from develop. Now I see it messes things up here in PRs so I'll have to do it sooner rather than later. As much as I'm actually enjoying using it, I still don't have a solid grasp of git, clearly, especially in terms of how to clean things up when I make mistakes.