This is to give pending AJAX requests time to complete before we
navigate away, for example.