Re #10743 Note that this only makes faulty switches slightly less annoying: for a stuck switch, instead of a string of page turns, you'll get a single missed page turn on the tap that actually releases the stuck contact...