We actually have to have it here because we don't end the session (which is what `expectNoHints()` tests) until after the next keydown after the popup is closed by Bootstrap (because of #1381). I'll clarify the comment to indicate this.