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.

3
  • 1
    Do you really think this answers the question by itself?? Don't just over moderate... Commented Jul 13, 2020 at 18:42
  • @Metafaniel: it is (partial) answer material, so it needs to go in the answer space. I am happy to delete it if you think it is trivial, or close the question as Typo/Unrepro if the answers are unlikely to be useful to future readers, but I do not think this material belongs in the question. Alternatively you can post this answer yourself (minus the attribution statement) as a self-answer and I can delete the CW copy. Commented Jul 13, 2020 at 20:44
  • Finally, you could ask a question over at Meta Stack Overflow if you want to get second opinions though. Commented Jul 13, 2020 at 20:46