At Tue, 04 Nov 2014 18:36:21 +0100, Joachim Strömbergson wrote: > > Should one edit the page or post comments, explanations here? My preference would be for people who know better to edit the page, perhaps with a hint here so people know to go re-read.