hints.js: new user var: hints_ambiguous_auto_exit_delay