Update STYLE, incorporating wiki; close #468

Agreed. If we move it here, it will get outdated.