Closes #105: don't revalidate if help is already shown.