:And thanks for striking "trivial." For some reason, I took that as an assertion that my significant (good faith) efforts to provide a useful addition to the article was "trivial," even though I know it was likely not intended that way. I try not to take things personally, but in this case had a tough time with that word. I don't have a problem at this point in letting the double-space issue drop since it's taking up too much of my time anyway. If the editors' consensus in a few days is to remove, I can live with that. Right or wrong in any one person's opinion, that's the way Wikipedia has to run for now.