* commit '5e52ee6ecf08b299b433104798e736e2bc3904d5': Doc change: small refinement of brand usage guidelines.