I've connected a #857 mini keyboard to the Pi's USB port just fine, but the backslash key results in a non-ascii character on the display. (I did not verify every other key; just used the keyboard to type some commands.) I'm using the default keyboard selection in the raspberry-config utility, but it is described as appropriate for a 104-key keyboard (the mini has 83). Has anybody found a better choice for the #857 mini-keyboard from all the keyboard types in the list? Sooner or later I'm going to need that backslash!