Update STYLE, incorporating wiki; close #468

For consistency I would be inclined to remove the extra periods elsewhere instead, on the principle that double periods are ugly and it should be like quotations: if you end a sentence with a quotation that includes a period, then you don't "need an extra period."