> Am 13/mag/2014 um 19:06 schrieb John Packer <john.packer7 at gmail.com>: > > It certainly is not a "fact" that it is standard. maybe you have to look how capitals are tagged and which of these tags are there for a long time, to be convinced? Are you aware that this key is in default.style? cheers, Martin