Bah, suddenly now my DasKeyboard (http://www.daskeyboard.com/) doesn’t appear as top-notch-awesome ...