Public toilets may soon be reminding you to wash your hands. But you do that anyway, right?