On Thu, 18 May 2017, Kwankyu Lee wrote:
So this time if I fail to get approval from most of you, the guideline will be simply discarded.
I am strongly against discarding the guideline(s). If we have no common view, I suggest that we make a poll (LimeSurvey or similar) and tell it sage-support.
And if that fails too, we will give an official dollar coin to William. He will then toss a coin to make an arbitrary decision.
(By guideline I do not mean a rule.) -- Jori Mäntysalo
