message: fix: parametrize the test hack.
diff: @@ -6,6 +6,8 @@ import { sleep, waitForActiveExtension, waitForActiveEditor, waitForInfoViewOpen
  import { InfoProvider } from '../../../src/infoview';
  import { LeanClientProvider} from '../../../src/utils/clientProvider';
  +const testHackSleep = 1000;
  +
  suite('Extension Test Suite', () => {
  test('Untitled Lean File', async () => {
  @@ -30,7 +32,7 @@ suite('Extension Test Suite', () => {
  console.log(`Found lean package version: ${lean.packageJSON.version}`);
  const info = lean.exports.infoProvider as InfoProvider;
  - await sleep(1000); // BUGBUG: this makes the test pass
  + await sleep(testHackSleep); // BUGBUG: this makes the test pass
  // If info view opens too quickly there is no LeanClient ready yet and
  // it's initialization gets messed up.
  assert(await waitForInfoViewOpen(info, 60),
  @@ -105,7 +107,7 @@ suite('Extension Test Suite', () => {
  const editor = await waitForActiveEditor('Main.lean');
  - await sleep(1000); // BUGBUG: this makes the test pass
  + await sleep(testHackSleep); // BUGBUG: this makes the test pass
  const info = lean.exports.infoProvider as InfoProvider;
  assert(await waitForInfoViewOpen(info, 60),
  'Info view did not open after 20 seconds');
  @@ -163,7 +165,7 @@ suite('Extension Test Suite', () => {
  const editor = await waitForActiveEditor('Main.lean');
  - await sleep(1000); // BUGBUG: this makes the test pass
  + await sleep(testHackSleep); // BUGBUG: this makes the test pass
  const info = lean.exports.infoProvider as InfoProvider;
  assert(await waitForInfoViewOpen(info, 60),
  'Info view did not open after 20 seconds');
  