Update STYLE, incorporating wiki; close #468

Perhaps, it would be better if generated names started with an underscore to discourage their use.
But that's not up to us.