Allow nudging with number keypad
Fixed disable for period

Tilde ~ key is not available as a standalone key on many international keyboards (such as German) => replaced with the dot;
actually disable introspector (otherwise it can't be disabled the next 10 seconds);
fixed reactivation;
added to help screen;