Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

2
  • 4
    $\begingroup$ Props to you for the bounty. Well and honorably played. :) $\endgroup$
    – Rubio
    Commented Jul 18, 2019 at 4:37
  • 1
    $\begingroup$ Since the posteriority will only be able to see Rubio's comment above, I'll put a short history here: User @WeatherVane answered this question 51 seconds before me. When both answers (nearly identical) were at 40-50 upvotes, OP decided that my answer deserved the tick (I agree, look at all the pretty colours!), so mine started to be listed first. This made little difference, until disaster struck: An unnamed mod accidentally deleted WeatherVane's answer. Eventually everything was straightened out, but I felt I had got undue advantage, so splitting the extra rep seemed the right thing to do. $\endgroup$
    – Bass
    Commented Jul 20, 2019 at 18:19