> I've told github people about my concerns, they didn't think they mattered, so I gave up. Feel free to make a bugreport to github.