[GTK3.10] man mnemonic change