I'll convert tabs to spaces in my next edits,

I have been replying by email because it seemed easier at first. But now that I've found where to do it, I'll use GitHub instead.