Update STYLE, incorporating wiki; close #468

Oh, nevermind.