Thanks for the feedback - and especially for pointing out that bug! I had no idea about this (in earlier releases, there indeed was a penalty for extra taps... I better fix this immediately...)
